[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/06: gnu: agda-cubical: Update to 0.6.
From: |
guix-commits |
Subject: |
05/06: gnu: agda-cubical: Update to 0.6. |
Date: |
Tue, 14 Nov 2023 08:05:38 -0500 (EST) |
jpoiret pushed a commit to branch master
in repository guix.
commit c5c2a82082ccd238350562f4706d75778121e3cf
Author: Josselin Poiret <dev@jpoiret.xyz>
AuthorDate: Fri Oct 27 20:02:43 2023 +0200
gnu: agda-cubical: Update to 0.6.
* gnu/packages/agda.scm (agda-cubical): Update to 0.6.
Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49
---
gnu/packages/agda.scm | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index f206542845..be3b625da7 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -265,12 +265,9 @@ try agda-prelude instead.")
(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.
(package
(name "agda-cubical")
- (version "0.5")
+ (version "0.6")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -279,7 +276,7 @@ try agda-prelude instead.")
(file-name (git-file-name name version))
(sha256
(base32
- "0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3"))))
+ "0zq0z328zcjmm43mrv2ks27i1dnbylcf8mhzja2hd4gvz1kq1ays"))))
(build-system agda-build-system)
(arguments
(list
- 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 <=
- 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, 2023/11/14
- 04/06: gnu: agda-categories: Adapt to agda-stdlib 1.7.3., guix-commits, 2023/11/14