diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2024-09-21 15:18:12 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-10-12 11:12:26 +0200 |
| commit | 402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33 (patch) | |
| tree | de40192585b27153ece801f8b0130dd42a131b9a /gnu/packages | |
| parent | 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb (diff) | |
| download | guix-402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33.tar guix-402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33.tar.gz | |
gnu: agda-stdlib: Update to 2.1.13
* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1.
Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/agda.scm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 0e38d4e2d8..8df3354243 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -200,7 +200,7 @@ come from Agda's standard library.") (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 @@ come from Agda's standard library.") (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 @@ come from Agda's standard library.") (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 |