From 8fa3aedaf72202123e38126d695bd484fe505175 Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Tue, 25 Jun 2024 11:41:31 +0200
Subject: [PATCH] liquid haskell

---
 gunther/leonv.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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