From 9b6526ca9783c82fc52a0bc3421fbe817a6d99ca Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 15 Jun 2022 11:38:10 +0200
Subject: home: downgrade haskell

(newer versions of hls are still troublesome)
---
 home/packages.nix | 5 +++--
 1 file 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
   ];
 }
-- 
cgit v1.2.3