[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
16/26: gnu: emacs-agda2-mode: No longer inherit from agda.
From: |
guix-commits |
Subject: |
16/26: gnu: emacs-agda2-mode: No longer inherit from agda. |
Date: |
Sun, 4 Jun 2023 05:38:33 -0400 (EDT) |
jpoiret pushed a commit to branch master
in repository guix.
commit fe6c31e3338f73f94fcbe6fc6ff8b7543762060e
Author: Josselin Poiret <dev@jpoiret.xyz>
AuthorDate: Wed Mar 8 16:53:22 2023 +0100
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
- 20/26: build-system: New agda-build-system., (continued)
- 20/26: build-system: New agda-build-system., guix-commits, 2023/06/04
- 11/26: tests: records: Add test for ellipsis in body., guix-commits, 2023/06/04
- 12/26: gnu: Add ghc-peano., guix-commits, 2023/06/04
- 26/26: channels: Raise an error if dependency's introduction is malformed, guix-commits, 2023/06/04
- 04/26: gnu: proot: Update to 5.4.0 and fix clone3 behavior., guix-commits, 2023/06/04
- 02/26: gnu: heimdal: Run autoreconf., guix-commits, 2023/06/04
- 03/26: gnu: heimdal: Drop obsolete and insecure user tools., guix-commits, 2023/06/04
- 06/26: records: match-record: Raise a syntax error if TYPE is nonexistent., guix-commits, 2023/06/04
- 10/26: records: match-record: Do not show internal form., guix-commits, 2023/06/04
- 14/26: gnu: agda: Update to 2.6.3 and switch to git-fetch., guix-commits, 2023/06/04
- 16/26: gnu: emacs-agda2-mode: No longer inherit from agda.,
guix-commits <=
- 17/26: gnu: emacs-agda2-mode: Switch to G-Exps., guix-commits, 2023/06/04
- 18/26: gnu: agda: Add AGDA_LIBDIRS search-path., guix-commits, 2023/06/04
- 19/26: build-system/haskell: Export default-haskell., guix-commits, 2023/06/04
- 24/26: gnu: Add agda-1lab., guix-commits, 2023/06/04
- 22/26: gnu: Add agda-categories., guix-commits, 2023/06/04
- 25/26: gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7., guix-commits, 2023/06/04
- 15/26: gnu: agda: Build info manual., guix-commits, 2023/06/04
- 21/26: gnu: Add agda-stdlib., guix-commits, 2023/06/04
- 23/26: gnu: Add agda-cubical., guix-commits, 2023/06/04