gnu: emacs-agda2-mode: No longer inherit from agda.
* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only need the source, which we can refer to without inheriting the whole thing.master
parent
789db27c51
commit
fe6c31e333
|
@ -129,10 +129,10 @@ such as Coq, Epigram and NuPRL.")
|
||||||
|
|
||||||
(define-public emacs-agda2-mode
|
(define-public emacs-agda2-mode
|
||||||
(package
|
(package
|
||||||
(inherit agda)
|
|
||||||
(name "emacs-agda2-mode")
|
(name "emacs-agda2-mode")
|
||||||
|
(version (package-version agda))
|
||||||
|
(source (package-source agda))
|
||||||
(build-system emacs-build-system)
|
(build-system emacs-build-system)
|
||||||
(inputs '())
|
|
||||||
(arguments
|
(arguments
|
||||||
`(#:phases
|
`(#:phases
|
||||||
(modify-phases %standard-phases
|
(modify-phases %standard-phases
|
||||||
|
@ -141,7 +141,8 @@ such as Coq, Epigram and NuPRL.")
|
||||||
(home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html")
|
(home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html")
|
||||||
(synopsis "Emacs mode for Agda")
|
(synopsis "Emacs mode for Agda")
|
||||||
(description "This Emacs mode enables interactive development with
|
(description "This Emacs mode enables interactive development with
|
||||||
Agda. It also aids the input of Unicode characters.")))
|
Agda. It also aids the input of Unicode characters.")
|
||||||
|
(license (package-license agda))))
|
||||||
|
|
||||||
(define-public agda-ial
|
(define-public agda-ial
|
||||||
(package
|
(package
|
||||||
|
|
Reference in New Issue