Agda vesion bump

IntersectMBO · Oct 8, 2024 · 3383458 · 3383458
1 parent 61e0835
commit 3383458
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/agda-project.nix b/nix/agda-project.nix
@@ -3,7 +3,7 @@
 pkgs.haskell-nix.hackage-project {
   name = "Agda";
 
-  version = "2.6.4";
+  version = "2.7.0";
 
   compiler-nix-name = "ghc96";