From acf6d5b78b3bdccc0286fe3fba4d3c81379f26ab Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Sun, 23 Feb 2020 16:25:16 -0500 Subject: [PATCH] Bump to agda/agda@74d9fd5 From agda/agda@e9e23b9 --- 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 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"))