From 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb Mon Sep 17 00:00:00 2001 From: Josselin Poiret Date: Tue, 26 Dec 2023 17:27:25 +0100 Subject: gnu: agda: Update to 2.7.0.1. * gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 --- gnu/packages/agda.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gnu/packages/agda.scm') 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 -- cgit v1.2.3