1. [freedan42x@nixos:~]$ nix-env -q
  2. nix-env -q
  3. Agda-2.5.4.1
  4. firmware-linux-nonfree-2018-12-13
  5. ghc-8.4.4
  6. pciutils-3.6.2
  7. r8168-4.12.2-8.046.00
  8. rtl8812au-4.12.2-5.2.20_25672.20171213