[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61848] [[PATCH] 3/4] gnu/packages/agda.scm: Add emacs-agda2-mode v2
From: |
Christopher Rodriguez |
Subject: |
[bug#61848] [[PATCH] 3/4] gnu/packages/agda.scm: Add emacs-agda2-mode v2.6.3. |
Date: |
Mon, 27 Feb 2023 13:13:22 -0500 |
Signed-off-by: Christopher Rodriguez <yewscion@gmail.com>
---
gnu/packages/agda.scm | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 7089ba5e93..816a34fc10 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -133,6 +133,22 @@ (define-public emacs-agda2-mode
(description "This Emacs mode enables interactive development with
Agda. It also aids the input of Unicode characters.")))
+(define-public emacs-agda2-mode-2.6.3
+ (package
+ (inherit agda-2.6.3)
+ (name "emacs-agda2-mode")
+ (build-system emacs-build-system)
+ (inputs '())
+ (arguments
+ `(#:phases (modify-phases %standard-phases
+ (add-after 'unpack 'enter-elisp-dir
+ (lambda _
+ (chdir "src/data/emacs-mode") #t)))))
+ (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.")))
+
(define-public agda-ial
(package
(name "agda-ial")
--
2.39.1