try a new agda2hs version

jespercockx · Mar 26, 2024 · 50f4a94 · 50f4a94
1 parent 191cf2e
commit 50f4a94
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -21,7 +21,7 @@
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs {inherit system;};
-        haskellPackages = pkgs.haskellPackages;
+        haskellPackages = pkgs.haskell.packages.ghc96;
         agda2hs-hs = haskellPackages.callCabal2nixWithOptions "agda2hs" agda2hs-src "--jailbreak" {};
         agdaDerivation = pkgs.callPackage ./nix/mkAgdaDerivation.nix {};
         agda2hs = pkgs.callPackage ./nix/agda2hs.nix {