From dd98275aa89e939edd50dda2f9c6cbac45cab9d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Am=C3=A9lia?= <me@amelia.how>
Date: Wed, 9 Oct 2024 09:26:35 -0300
Subject: [PATCH] chore: bump agda (#435)

you know it
---
 support/nix/dep/Agda/github.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/support/nix/dep/Agda/github.json b/support/nix/dep/Agda/github.json
index a195632d6..9e12fabc2 100644
--- 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"
 }