From ddc3a95b1d8b042516f4ce978cfcc4839ca4a678 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Mon, 20 Jul 2020 20:38:49 -0400 Subject: [PATCH] Bump :lang agda agda/agda@ff9173e -> agda/agda@8eb0d01 Closes #3600 --- modules/lang/agda/packages.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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"))