diff options
| author | stuebinm | 2023-01-09 12:31:55 +0100 |
|---|---|---|
| committer | stuebinm | 2023-01-09 12:31:55 +0100 |
| commit | accb8cafeee94cd59d7f42aee23fb9d659e528f2 (patch) | |
| tree | 49c0ed15ad8a23be0b68fc8e0eca655579a2d85b | |
| parent | d5272acd5360408095b5eb965c1f45a499897546 (diff) | |
home: a couple useful packages
| -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 |