tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00
Code Activity

gnu: agda-stdlib: Update to 2.3.

Browse Source 
* gnu/packages/agda.scm (agda-stdlib): Update to 2.3.

Merges: https://codeberg.org/guix/guix/pulls/4190
Change-Id: I52636f7146e0c36f136f359cfe2b4fc8cd82d6dc
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
This commit is contained in:
Mark Walker
2025-11-11 19:21:47 +08:00
committed by Sharlatan Hellseher
parent 3fa6987d05
commit 6176fcae15
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/agda.scm
View File

@@ -197,7 +197,7 @@ come from Agda's standard library.")
(define-public agda-stdlib (define-public agda-stdlib
(package (package
(name "agda-stdlib") (name "agda-stdlib")
(version "2.1.1") (version "2.3")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
@@ -206,7 +206,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
"1n742qvlxaj4dprnknvzrr876af6yjfwa4ps1dr4v1h814sg0xz0")))) "17w5vfn5pb2cgfs22zph3jfqnki52ja8y4zwyqj24zwf9rxairr4"))))
(build-system agda-build-system) (build-system agda-build-system)
(arguments (arguments
(list (list