summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--home/packages.nix5
1 files changed, 3 insertions, 2 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 39c0b90..ba298bf 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -27,7 +27,8 @@ in
# things for emacs
sqlite brightnessctl scrot playerctl tlp
# haskell & co
- ghc cabal-install stack haskell.packages.ghc8107.haskell-language-server
+ haskell.packages.ghc8107.ghc cabal-install stack
+ haskell.packages.ghc8107.haskell-language-server
haskellPackages.hoogle haskellPackages.stylish-haskell
# other functional things
racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
@@ -45,6 +46,6 @@ in
nixfmt niv inputs.deploy-rs.defaultPackage.${system}
# isabelle
(import "${inputs.playground.outPath}/isabelle-nix-fhsenv" {inherit pkgs; })
- # (import /home/stuebinm/projects/isabelle-utils {}).isabat
+ (import /home/stuebinm/projects/isabelle-utils {}).isabat
];
}