From fe6c31e3338f73f94fcbe6fc6ff8b7543762060e Mon Sep 17 00:00:00 2001 From: Josselin Poiret Date: Wed, 8 Mar 2023 16:53:22 +0100 Subject: 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. --- gnu/packages/agda.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 7a28f69a0d..9dfcc907ec 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -129,10 +129,10 @@ such as Coq, Epigram and NuPRL.") (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 @@ -141,7 +141,8 @@ such as Coq, Epigram and NuPRL.") (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 -- cgit v1.2.3