Message ID | 01ad3c0997a873170156cd3b64175a186d544b3e.1698430139.git.dev@jpoiret.xyz |
---|---|
State | New |
Headers | show |
Series | Update Agda and libraries to 2.6.4 | expand |
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 8c82701596..538df99bf4 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -199,7 +199,7 @@ (define-public agda-ial (define-public agda-stdlib (package (name "agda-stdlib") - (version "1.7.2") + (version "1.7.3") (source (origin (method git-fetch) (uri (git-reference @@ -208,7 +208,7 @@ (define-public agda-stdlib (file-name (git-file-name name version)) (sha256 (base32 - "065hf24xjpciwdrvk4isslgcgi01q0k93ql0y1sjqqvy5ryg5xmy")))) + "0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy")))) (build-system agda-build-system) (arguments (list
From: Josselin Poiret <dev@jpoiret.xyz> * gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3. Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445 --- gnu/packages/agda.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)