{ config, lib, pkgs, inputs, system, craneLib, ... }: let isabelle = import "${inputs.playground.outPath}/isabelle-nix-fhsenv" { inherit pkgs; }; in { home.packages = with pkgs; [ # inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk emacs29-pgtk emacs-all-the-icons-fonts nerdfonts # internet apps & clients firefox keepassxc mumble lynx offpunk openconnect tdesktop monolith magic-wormhole-rs dino # graphics & audio audacity blender darktable ffmpeg-full gimp-with-plugins inkscape krita pavucontrol gst_all_1.gstreamer vimiv-qt # LaTeX & documents xournal pandoc zathura pdfpc poppler_utils typst rustex (texlive.combine { inherit (texlive) scheme-full; pkgFilter = pkg: lib.elem pkg.tlType [ "run" "bin" "doc" ]; }) # general cli utils almanac libnotify grim slurp (zbar.override { enableVideo = false; withXorg = false; }) wl-clipboard showrt kijetesantakaluotokieni mpc_cli dufs progress hledger wineWowPackages.full sops xdg-utils exiftool mercurial darcs git-annex-remote-remarkable2 rlwrap # graphical utils kitty # gnss things gpsd # galmon-full # transport things transport_validator # things for emacs sqlite brightnessctl scrot playerctl tlp (aspellWithDicts (ds: [ds.en])) emacs.pkgs.mu4e # haskell & co ghc cabal-install stack haskell-language-server haskellPackages.hoogle haskellPackages.stylish-haskell # other functional things racket dhall dune_2 ocamlPackages.utop ocamlPackages.ocp-indent ocamlPackages.merlin ocaml gauche (agda.withPackages (p: [ p.standard-library p.cubical ])) # html, js & co jq ijq html-tidy nodePackages.stylelint nodePackages.js-beautify zola libxml2 fq htmlq # rust rust-bin.stable.latest.minimal rust-analyzer rustfmt # go go gopls godef gore gotests gomodifytags # C/C++ clang clang-tools rtags irony-server # others python39 inweb # nix things npins nix-output-monitor direnv # isabelle (isabelle.mkEnv "isabelle-env" "fish") isabat (import inputs.traveltext { inherit pkgs; }) ]; xdg.desktopEntries."pavucontrol" = { name = "pavucontrol"; exec = "pavucontrol"; terminal = false; type = "Application"; }; }