diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/packages.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/home/packages.nix b/home/packages.nix index 7a31435..ab4b84d 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -14,7 +14,7 @@ in { home.packages = with pkgs; [ inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk - emacs-all-the-icons-fonts + emacs-all-the-icons-fonts nerdfonts # internet apps & clients firefox keepassxc chromium mumble lynx @@ -42,7 +42,7 @@ in (agda.withPackages (p: [ p.standard-library p.cubical ])) # html, js & co jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola - libxml2 + libxml2 fq # purescript spago purescript # nodePackages.purescript-language-server nodejs # rust @@ -54,6 +54,8 @@ in # nix things nixfmt niv inputs.deploy-rs.defaultPackage.${system} haskellPackages.nix-serve-ng + # other things + mercurial # isabelle isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish") (import /home/stuebinm/projects/isabelle-utils {}).isabat |