summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
Diffstat (limited to 'home')
-rw-r--r--home/packages.nix6
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