diff mbox series

[bug#61848,[PATCH] 2/4] gnu/packages/agda.scm: Add agda v2.6.3.

Message ID 20230227181323.21387-2-yewscion@gmail.com
State New
Headers show
Series [bug#61848,[PATCH] 2/4] gnu/packages/agda.scm: Add agda v2.6.3. | expand

Commit Message

Christopher Rodriguez Feb. 27, 2023, 6:13 p.m. UTC 
Signed-off-by: Christopher Rodriguez <yewscion@gmail.com>
---
 gnu/packages/agda.scm | 13 +++++++++++++
 1 file changed, 13 insertions(+)
diff mbox series

Patch

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 7128a3f108..7089ba5e93 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -104,6 +104,19 @@  (define-public agda
     ;; source files are BSD-3.  See LICENSE for details.
     (license (list license:expat license:bsd-3))))
 
+(define-public agda-2.6.3
+  (package
+    (inherit agda)
+    (version "2.6.3")
+    (source (origin
+              (method url-fetch)
+              (uri (hackage-uri "Agda" version))
+              (sha256
+               (base32
+                "05k0insn1c2dbpddl1slcdn972j8vgkzzy870yxl43j75j0ckb5y"))))
+    (inputs (modify-inputs (package-inputs agda)
+              (append ghc-vector-hashtables)))))
+
 (define-public emacs-agda2-mode
   (package
     (inherit agda)