me
/
guix
Archived
1
0
Fork 0
Code

gnu: agda-stdlib: Update to 1.7.3. 

* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3.

Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445
master
Josselin Poiret 2023-10-27 20:01:04 +02:00
parent a521757306
commit 7374e14f51
No known key found for this signature in database
GPG Key ID: 505E40B916171A8A
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/agda.scm
View File

@ -199,7 +199,7 @@ come from Agda's standard library.")
(define-public agda-stdlib (define-public agda-stdlib
(package (package
(name "agda-stdlib") (name "agda-stdlib")
(version "1.7.2") (version "1.7.3")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
@ -208,7 +208,7 @@ come from Agda's standard library.")
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"065hf24xjpciwdrvk4isslgcgi01q0k93ql0y1sjqqvy5ryg5xmy")))) "0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy"))))
(build-system agda-build-system) (build-system agda-build-system)
(arguments (arguments
(list (list