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 "2816605bfdc24c93d8801016d31beeed7608ad02")

  (package! agda2-mode
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/*.el"
                     (:exclude "agda-input.el"))
             :nonrecursive t)
    :pin "2816605bfdc24c93d8801016d31beeed7608ad02"))
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)`
bump: :lang agda agda/agda@af9c4b968698 -> agda/agda@2816605bfdc2 Close: #6150 2022-03-19 02:53:37 +01:00			`:pin "2816605bfdc24c93d8801016d31beeed7608ad02")`
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)`
bump: :lang agda agda/agda@af9c4b968698 -> agda/agda@2816605bfdc2 Close: #6150 2022-03-19 02:53:37 +01:00			`:pin "2816605bfdc24c93d8801016d31beeed7608ad02"))`