(address . guix-patches@gnu.org)(name . Josselin Poiret)(address . dev@jpoiret.xyz)
86622619bf897c4d8cd91901455c9966e17f4450.1703608045.git.dev@jpoiret.xyz
From: Josselin Poiret <dev@jpoiret.xyz>
* gnu/packages/agda.scm (agda): Update to 2.6.4.1.
Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837
---
gnu/packages/agda.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Toggle diff (26 lines)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index c2ebf09e4a..4039d9c9ba 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -44,7 +44,7 @@ (define-module (gnu packages agda)
(define-public agda
(package
(name "agda")
- (version "2.6.4")
+ (version "2.6.4.1")
(source
(origin
(method git-fetch)
@@ -53,7 +53,7 @@ (define-public agda
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
- (base32 "0n4avd58j45rdcmnwgrmz5s0ril0z4n2z711mwwbahl50f7359ky"))
+ (base32 "00yfwwqv4dyka5yg4m9w5dfd9ajn5z51lg7dakj6d03lay76dhh7"))
(patches (search-patches "agda-libdirs-env-variable.patch"
"agda-use-sphinx-5.patch"))))
(build-system haskell-build-system)
base-commit: 5bd80ccd69047b1777749e24d4adf2c951b5d14b
--
2.41.0