diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-04-30 12:12:00 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:36 +0200 |
| commit | cf2c3f797003a67c9a8d3c1400a480c617f89eda (patch) | |
| tree | 6b370619e040ae9be5982b2e7514aa88c0df7f33 | |
| parent | 8203e8f3c9cf0462abb9f03e42e578fe28599c36 (diff) | |
| download | guix-cf2c3f797003a67c9a8d3c1400a480c617f89eda.tar.gz | |
gnu: Add agda-cubical.
* gnu/packages/agda.scm: New variable agda-cubical.
| -rw-r--r-- | gnu/packages/agda.scm | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 16573e6d57..240a51de1a 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -262,3 +262,36 @@ try agda-prelude instead.") (description "A new Categories library for Agda") (home-page "https://github.com/agda/agda-categories") (license license:expat))) + +(define-public agda-cubical + ;; Upstream's HEAD follows the latest Agda release, but they don't release + ;; until a newer Agda release comes up, so their releases are always one + ;; version late. + (let* ((revision "1") + (commit "814d54b08b360b8e80828065f54b80e3a98a0092")) + (package + (name "agda-cubical") + (version (git-version "0.4" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/agda/cubical.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0d25gb1qzpx539k62qjsjq4xmzp34qk7n3hmd9y6v8slhrrxw312")))) + (build-system agda-build-system) + (arguments + (list + #:gnu-and-haskell? #t + #:phases + #~(modify-phases %standard-phases + (replace 'build + (lambda _ + (invoke "make")))))) + (synopsis "Standard library for Cubical Agda") + (description "A standard library for Cubical Agda, comparable to +agda-stdlib but using cubical methods.") + (home-page "https://github.com/agda/cubical") + (license license:expat)))) |