mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-19 05:57:04 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda-stdlib: Update to 2.1.13

Browse source 
* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1.

Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf
This commit is contained in:
Josselin Poiret 2024-09-21 15:18:12 +02:00
parent 96c490e0ce
commit 402a3a4e80
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gnu/packages/agda.scm
View file

@ -200,7 +200,7 @@ (define-public agda-ial
(define-public agda-stdlib
(package
(name "agda-stdlib")
(version "1.7.3")
(version "2.1.1")
(source (origin
(method git-fetch)
(uri (git-reference
@ -209,11 +209,11 @@ (define-public agda-stdlib
(file-name (git-file-name name version))
(sha256
(base32
"0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy"))))
"1n742qvlxaj4dprnknvzrr876af6yjfwa4ps1dr4v1h814sg0xz0"))))
(build-system agda-build-system)
(arguments
(list
#:plan '(("^\\./README.agda$" "-i."))
#:plan '(("^\\./doc/README.agda$" "-idoc/"))
#:gnu-and-haskell? #t
#:phases
#~(modify-phases %standard-phases
@ -221,7 +221,8 @@ (define-public agda-stdlib
(lambda* (#:key inputs native-inputs #:allow-other-keys)
(invoke
(search-input-file (or native-inputs inputs) "/bin/runhaskell")
"GenerateEverything.hs"))))))
"GenerateEverything.hs"
"--out-dir" "doc/"))))))
(native-inputs (list ghc-filemanip))
(synopsis "The Agda Standard Library")
(description