diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-12-26 17:27:25 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-10-12 11:12:25 +0200 |
| commit | 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb (patch) | |
| tree | 18a89764e1a5cfff1b699db5cf72a2f15f120cd0 /gnu/packages | |
| parent | a531af142ffdb2a31cf9e6258c336fcf2dbe755b (diff) | |
| download | guix-96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb.tar guix-96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb.tar.gz | |
gnu: agda: Update to 2.7.0.1.
* gnu/packages/agda.scm (agda): Update to 2.7.0.1.
Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/agda.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 4afe583b2e..0e38d4e2d8 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -44,7 +44,7 @@ (define-public agda (package (name "agda") - (version "2.6.4") + (version "2.7.0.1") (source (origin (method git-fetch) @@ -53,7 +53,7 @@ (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 @@ ghc-murmur-hash ghc-parallel ghc-peano + ghc-pqueue ghc-regex-tdfa ghc-split ghc-strict |