diff --git a/modules/lang/agda/packages.el b/modules/lang/agda/packages.el
index 06dbca865..bc1edec80 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 "af9c4b968698e285c453516b2104a347ad954849")
+    :pin "2816605bfdc24c93d8801016d31beeed7608ad02")
 
   (package! agda2-mode
     :recipe (:host github :repo "agda/agda"
              :files ("src/data/emacs-mode/*.el"
                      (:exclude "agda-input.el"))
              :nonrecursive t)
-    :pin "af9c4b968698e285c453516b2104a347ad954849"))
+    :pin "2816605bfdc24c93d8801016d31beeed7608ad02"))