bump version in cabal.project

the1lab · Sep 14, 2023 · 2dd06c6 · 2dd06c6
1 parent ebc6feb
commit 2dd06c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cabal.project b/cabal.project
@@ -3,4 +3,4 @@ packages: support/shake/1lab-shake.cabal
 source-repository-package
   type: git
   location: https://github.com/agda/agda.git
-  tag: 269204b682d87778ba1038193db05e728cfadbdb
+  tag: 632954bf442192276ca9c84ca95991d1ffc7a410