{ pkgs, unstable, extra, ... }: { home.packages = (with pkgs; [ unzip zip xz gzip bzip2 p7zip usbutils pciutils nettools nmap arp-scan julia-bin (python3.withPackages (ps: with ps; [ ipython matplotlib numpy scipy ])) ghc haskell-language-server firefox gnupg discord dig xxd slack imagemagick ffmpeg yt-dlp libreoffice pass protonvpn-gui thunderbird tidal-hifi signal-desktop transmission-gtk xclip clinfo glxinfo vulkan-tools obs-studio file gimp bat steam steam-run rmapi lutris texlive.combined.scheme-full zulip rink typst ttyper idris2 prismlauncher vimv whalebird lean4 remmina git-crypt vcv-rack nix-index kdenlive solaar fzf bottom ]) ++ [ extra.agda unstable.zoom-us extra.sax2nf extra.cornelis extra.slippi-netplay unstable.kicad extra.renoise extra.nixprof extra.protonmail-desktop ]; }