@@ -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)
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(-) base-commit: 5bd80ccd69047b1777749e24d4adf2c951b5d14b