diff --git a/modules/lang/agda/packages.el b/modules/lang/agda/packages.el
index 38614c430..e5b27f296 100644
--- a/modules/lang/agda/packages.el
+++ b/modules/lang/agda/packages.el
@@ -6,11 +6,11 @@
     :recipe (:host github :repo "agda/agda"
              :files ("src/data/emacs-mode/agda-input.el")
              :nonrecursive t)
-    :pin "e9e23b973d")
+    :pin "74d9fd53cd")
 
   (package! agda2-mode
     :recipe (:host github :repo "agda/agda"
              :files ("src/data/emacs-mode/*.el"
                      (:exclude "agda-input.el"))
              :nonrecursive t)
-    :pin "e9e23b973d"))
+    :pin "74d9fd53cd"))