[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/06: gnu: agda-stdlib: Update to 1.7.3.
From: |
guix-commits |
Subject: |
03/06: gnu: agda-stdlib: Update to 1.7.3. |
Date: |
Tue, 14 Nov 2023 08:05:38 -0500 (EST) |
jpoiret pushed a commit to branch master
in repository guix.
commit 7374e14f510b9d320145f4176b43ed92a89e5a67
Author: Josselin Poiret <dev@jpoiret.xyz>
AuthorDate: Fri Oct 27 20:01:04 2023 +0200
gnu: agda-stdlib: Update to 1.7.3.
* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3.
Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445
---
gnu/packages/agda.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 8c82701596..538df99bf4 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -199,7 +199,7 @@ come from Agda's standard library.")
(define-public agda-stdlib
(package
(name "agda-stdlib")
- (version "1.7.2")
+ (version "1.7.3")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -208,7 +208,7 @@ come from Agda's standard library.")
(file-name (git-file-name name version))
(sha256
(base32
- "065hf24xjpciwdrvk4isslgcgi01q0k93ql0y1sjqqvy5ryg5xmy"))))
+ "0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy"))))
(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, 2023/11/14
- 03/06: gnu: agda-stdlib: Update to 1.7.3.,
guix-commits <=
- 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