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"
 }