@@ -128,10 +128,10 @@ (define-public agda
(define-public emacs-agda2-mode
(package
- (inherit agda)
(name "emacs-agda2-mode")
+ (version (package-version agda))
+ (source (package-source agda))
(build-system emacs-build-system)
- (inputs '())
(arguments
`(#:phases
(modify-phases %standard-phases
@@ -140,7 +140,8 @@ (define-public emacs-agda2-mode
(home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html")
(synopsis "Emacs mode for Agda")
(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
(package
From: Josselin Poiret <dev@jpoiret.xyz> * 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. --- gnu/packages/agda.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-)