From: Christopher Rodriguez <yewscion@gmail.com>
To: 61848@debbugs.gnu.org
Cc: Christopher Rodriguez <yewscion@gmail.com>
Subject: [bug#61848] [[PATCH] 2/4] gnu/packages/agda.scm: Add agda v2.6.3.
Date: Mon, 27 Feb 2023 13:13:21 -0500 [thread overview]
Message-ID: <20230227181323.21387-2-yewscion@gmail.com> (raw)
In-Reply-To: <20230227181323.21387-1-yewscion@gmail.com>
Signed-off-by: Christopher Rodriguez <yewscion@gmail.com>
---
gnu/packages/agda.scm | 13 +++++++++++++
1 file changed, 13 insertions(+)
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)
--
2.39.1
next prev parent reply other threads:[~2023-02-27 18:14 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-27 18:10 [bug#61848] [[PATCH] 0/4] Agda Update and Standard Library Christopher Rodriguez
2023-02-27 18:13 ` [bug#61848] [[PATCH] 1/4] gnu/packages/haskell-xyz.scm: Add ghc-vector-hashtables Christopher Rodriguez
2023-02-27 18:13 ` Christopher Rodriguez [this message]
2023-02-27 18:13 ` [bug#61848] [[PATCH] 3/4] gnu/packages/agda.scm: Add emacs-agda2-mode v2.6.3 Christopher Rodriguez
2023-02-27 18:13 ` [bug#61848] [[PATCH] 4/4] gnu/packages/agda.scm: Add agda-stdlib v1.7.2 Christopher Rodriguez
2023-04-30 11:23 ` [bug#61848] [[PATCH] 0/4] Agda Update and Standard Library Josselin Poiret via Guix-patches via
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20230227181323.21387-2-yewscion@gmail.com \
--to=yewscion@gmail.com \
--cc=61848@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.