[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/06: gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa28
From: |
guix-commits |
Subject: |
06/06: gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280. |
Date: |
Tue, 14 Nov 2023 08:05:39 -0500 (EST) |
jpoiret pushed a commit to branch master
in repository guix.
commit bd0f2173210416e86281c1de8789e7cdab66dd57
Author: Josselin Poiret <dev@jpoiret.xyz>
AuthorDate: Fri Oct 27 20:03:04 2023 +0200
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.
Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
---
gnu/packages/agda.scm | 12 +++++++-----
1 file 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
- branch master updated (b25954181c -> bd0f217321), guix-commits, 2023/11/14
- 02/06: gnu: agda: Update to 2.6.4., guix-commits, 2023/11/14
- 05/06: gnu: agda-cubical: Update to 0.6., guix-commits, 2023/11/14
- 03/06: gnu: agda-stdlib: Update to 1.7.3., guix-commits, 2023/11/14
- 01/06: gnu: Add ghc-text-icu., guix-commits, 2023/11/14
- 06/06: gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.,
guix-commits <=
- 04/06: gnu: agda-categories: Adapt to agda-stdlib 1.7.3., guix-commits, 2023/11/14