diff --git a/modules/lang/agda/packages.el b/modules/lang/agda/packages.el
index fe2d2f775..3a3449829 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 "ff9173e14e")
+    :pin "8eb0d01811a663cf2b27b482b3b18690adfa094b")
 
   (package! agda2-mode
     :recipe (:host github :repo "agda/agda"
              :files ("src/data/emacs-mode/*.el"
                      (:exclude "agda-input.el"))
              :nonrecursive t)
-    :pin "ff9173e14e"))
+    :pin "8eb0d01811a663cf2b27b482b3b18690adfa094b"))