[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit fr
From: |
Josselin Poiret |
Subject: |
[bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda. |
Date: |
Sun, 30 Apr 2023 12:53:15 +0200 |
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(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index eba48da0ff..69d6d22d32 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -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
--
2.39.2
- [bug#61915] [PATCH v2 00/13] Update agda, add build-system and libraries., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda.,
Josselin Poiret <=
- [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 10/13] gnu: Add agda-stdlib., Josselin Poiret, 2023/04/30