PIN ALL THE PACKAGES

2020-01-14 22:32:11 -05:00 · 2020-01-14 22:32:11 -05:00 · 4cc14389e8
commit 4cc14389e8
parent f3a9d0c03c
124 changed files with 515 additions and 489 deletions
--- a/modules/lang/agda/packages.el
+++ b/modules/lang/agda/packages.el
@ -5,10 +5,12 @@
  (package! agda-input
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/agda-input.el")
-             :nonrecursive t))
+             :nonrecursive t)
+    :pin "4f02b991d6d5eb6dd132591b90d839118e2ab30a")

  (package! agda2-mode
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/*.el"
                     (:exclude "agda-input.el"))
-             :nonrecursive t)))
+             :nonrecursive t)
+    :pin "4f02b991d6d5eb6dd132591b90d839118e2ab30a"))