@@ -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")
Signed-off-by: Christopher Rodriguez <yewscion@gmail.com> --- gnu/packages/agda.scm | 16 ++++++++++++++++ 1 file changed, 16 insertions(+)