awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-03 12:27:26 -05:00
Code Issues Packages Projects Releases Wiki Activity

bump: :lang agda

Browse Source 
agda/agda@af9c4b9686 -> agda/agda@2816605bfd

Close: #6150
This commit is contained in:
Henrik Lissner
2022-03-19 02:53:37 +01:00
parent 7c6ebc48d5
commit 23d77e688b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
modules/lang/agda/packages.el
View File

@ -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"))