diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-10-27 20:03:04 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-11-14 13:47:53 +0100 |
| commit | bd0f2173210416e86281c1de8789e7cdab66dd57 (patch) | |
| tree | 6ff93be898a68d2fa137f06eb6a5567d487a1341 /gnu/packages/agda.scm | |
| parent | c5c2a82082ccd238350562f4706d75778121e3cf (diff) | |
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.
Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index be3b625da7..c2ebf09e4a 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -293,10 +293,10 @@ agda-stdlib but using cubical methods.") (license license:expat))) (define-public agda-1lab - ;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.3, + ;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.4, ;; since they use Agda HEAD. - (let* ((revision "1") - (commit "47ca1d23640a6f49a3abe3c2fe27738bcc10c9c6")) + (let* ((revision "2") + (commit "549fdb1c948a975e90e70f871993a4a4239aa280")) (package (name "agda-1lab") (version (git-version "0.0" revision commit)) @@ -309,10 +309,12 @@ agda-stdlib but using cubical methods.") (file-name (git-file-name name version)) (sha256 (base32 - "0j7mp6c0xd0849skdxzncklkxynxnyfrbpcjv4qp5p1xfn0dnfqx")))) + "1k4zj8dibyplakpxaw4a8hpsaqhakynjb83dqxrva4h4ssj6gkqj")))) (build-system agda-build-system) (arguments - (list #:plan '(("src/index\\.lagda\\.md$")))) + ;; Check files individually first, to avoid running out of heap :( + (list #:plan '(("src/.+/.+\\.lagda\\.md$") + ("src/index\\.lagda\\.md$")))) (synopsis "Reference resource for mathematics done in Homotopy Type Theory") (description "A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. Unlike the HoTT book, the 1lab is |