doomemacs/modules/lang/agda/packages.el

;; -*- no-byte-compile: t; -*-
;;; lang/agda/packages.el

(unless (featurep! +local)
  (package! agda-input
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/agda-input.el")
             :nonrecursive t)
    :pin "e9e23b973d")

  (package! agda2-mode
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/*.el"
                     (:exclude "agda-input.el"))
             :nonrecursive t)
    :pin "e9e23b973d"))
Use straight for agda We can fetch the mode directly from straight. There's no need to rely on having this .el file installed for us. Now agda's el files can be edited directly like all other emacs packages. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-08-29 20:07:41 +07:00			`;; -- no-byte-compile: t; --`
			`;;; lang/agda/packages.el`

lang/agda: add +local flag & :nonrecursive to recipes Relevant to #2203 2019-12-17 14:25:05 -05:00			`(unless (featurep! +local)`
			`(package! agda-input`
			`:recipe (:host github :repo "agda/agda"`
			`:files ("src/data/emacs-mode/agda-input.el")`
PIN ALL THE PACKAGES 2020-01-14 22:32:11 -05:00			`:nonrecursive t)`
Fix #2373: bring back package pinning This needs some serious refactoring... 2020-01-25 03:49:42 -05:00			`:pin "e9e23b973d")`
Use straight for agda We can fetch the mode directly from straight. There's no need to rely on having this .el file installed for us. Now agda's el files can be edited directly like all other emacs packages. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-08-29 20:07:41 +07:00
lang/agda: add +local flag & :nonrecursive to recipes Relevant to #2203 2019-12-17 14:25:05 -05:00			`(package! agda2-mode`
			`:recipe (:host github :repo "agda/agda"`
			`:files ("src/data/emacs-mode/*.el"`
			`(:exclude "agda-input.el"))`
PIN ALL THE PACKAGES 2020-01-14 22:32:11 -05:00			`:nonrecursive t)`
Fix #2373: bring back package pinning This needs some serious refactoring... 2020-01-25 03:49:42 -05:00			`:pin "e9e23b973d"))`