From 23d77e688bc94b6d5cfdadc9dcd7d40d85f1b540 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Sat, 19 Mar 2022 02:53:37 +0100 Subject: [PATCH] bump: :lang agda agda/agda@af9c4b968698 -> agda/agda@2816605bfdc2 Close: #6150 --- 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 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"))