mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-31 14:56:54 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda: Update to 2.7.0.1.

Browse source 
* gnu/packages/agda.scm (agda): Update to 2.7.0.1.

Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837
This commit is contained in:
Josselin Poiret 2023-12-26 17:27:25 +01:00
parent a531af142f
commit 96c490e0ce
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/agda.scm
View file

@ -44,7 +44,7 @@ (define-module (gnu packages agda)
(define-public agda
(package
(name "agda")
(version "2.6.4")
(version "2.7.0.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 "1dh9fi8lwjv9rk6zik2bwjgqln0f0d36m3hm9m3zmmk4fby4rsi2"))
(patches (search-patches "agda-libdirs-env-variable.patch"
"agda-use-sphinx-5.patch"))))
(build-system haskell-build-system)
@ -76,6 +76,7 @@ (define-public agda
ghc-murmur-hash
ghc-parallel
ghc-peano
ghc-pqueue
ghc-regex-tdfa
ghc-split
ghc-strict