diff --git a/gunther/leonv.nix b/gunther/leonv.nix
index 6f0db49..8d3930b 100755
--- a/gunther/leonv.nix
+++ b/gunther/leonv.nix
@@ -13,6 +13,11 @@
   home.packages = with pkgs; [ 
     # theme for gtk applications
     orchis-theme
+    nextcloud-client
+    ausweisapp
+
+    # smt solver for liquid haskell
+    z3
 
     # stuff
     tidal-hifi
@@ -46,7 +51,7 @@
     jdk11
     coq
     gcc
-    ghc
+    haskell.compiler.ghc981
     cabal-install
     haskell-language-server
     python3