diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-26 17:55:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-26 17:55:46 +0100 |
| commit | 96d4869421082d9e5b029aa64a67cb9f2f4b7b95 (patch) | |
| tree | c7cb876e9b964c43ff215b0d97a67a5c8348ad07 /yellowsquid/packages/agda.scm | |
| parent | c4ffbe05df463151bfddf48095298c4232ef6a1c (diff) | |
agda-categories: bump version.
Upstream have stopped packaging an Everything file. Because guix strips
the git information from the source, the file has to be created
manually.
In future, this should be converted into a build phase.
Diffstat (limited to 'yellowsquid/packages/agda.scm')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 7929818..a3c73d7 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -129,7 +129,7 @@ normalisation performance.") (define-public agda-categories (package (name "agda-categories") - (version "0.1.7.1") + (version "0.1.7.1a") (home-page "https://github.com/agda/agda-categories") (source (origin (method git-fetch) @@ -138,9 +138,11 @@ normalisation performance.") (file-name (git-file-name name version)) (sha256 (base32 - "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn")))) + "1m96f4a98bs4fhwz5lb03dghf195gi7520jhcbrykyp02l7m2p2n")) + (patches + (search-patches "agda-categories-everything.patch")))) (build-system agda-build-system) - (inputs (list agda-stdlib-1.7)) + (inputs (list agda-stdlib-1.7.1)) (arguments '(#:readme "Everything.agda")) (synopsis "Categories library for Agda") |