chore: bump agda (#435)

you know it
the1lab · Oct 9, 2024 · dd98275 · dd98275
1 parent 7424e3d
commit dd98275
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/support/nix/dep/Agda/github.json b/support/nix/dep/Agda/github.json
@@ -3,6 +3,6 @@
   "repo": "agda",
   "branch": "master",
   "private": false,
-  "rev": "9e0d5a54f8b811dbccf8c42f859b44f9c34a3ee8",
-  "sha256": "1ahkbsiayfbm5kk7xmh8yjvwslrclx8nyis3jmh66nqj84dy83k3"
+  "rev": "11e54c0e0229996c22ed7b53a50694933de84b09",
+  "sha256": "12avpyxdlh7w7p9gsv5p4499c01qk3k1mklwfp8shljmb8z8cwd4"
 }