[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#57050] [PATCH v2 01/13] gnu: stex: Update to 1.2.2-2.afa6075.
From: |
Philip McGrath |
Subject: |
[bug#57050] [PATCH v2 01/13] gnu: stex: Update to 1.2.2-2.afa6075. |
Date: |
Thu, 11 Aug 2022 07:08:11 -0400 |
* gnu/packages/chez.scm (stex-bootstrap): Update to 1.2.2-2.afa6075.
---
gnu/packages/chez.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/chez.scm b/gnu/packages/chez.scm
index b037efe8d4..043f2ae47a 100644
--- a/gnu/packages/chez.scm
+++ b/gnu/packages/chez.scm
@@ -594,8 +594,8 @@ (define-public chez-scheme-for-racket-bootstrap-bootfiles
(define-public stex-bootstrap
;; This commit includes a fix which we would otherwise want to use as
;; patch. Let's revert to tagged releases as soon as one becomes available.
- (let ((commit "54051494434a197772bf6ca5b4e6cf6be55f39a5")
- (revision "1"))
+ (let ((commit "afa607564a5662ffd748e824801277a6b5a3d11c")
+ (revision "2"))
(hidden-package
(package
(name "stex")
@@ -611,7 +611,7 @@ (define-public stex-bootstrap
(url "https://github.com/dybvig/stex")
(commit commit)))
(sha256
- (base32 "01jnvw8qw33gnpzwrakwhsr05h6b609lm180jnspcrb7lds2p23d"))
+ (base32 "0n6dryv5j7cw2qmsj55wqb0ph901h83a2hl4j891ppxp0xx18nkp"))
(file-name (git-file-name name version))
(snippet
#~(for-each delete-file
--
2.32.0
- [bug#57050] [PATCH 3/6] gnu: chez-scheme: Fix use of "/bin/sh"., (continued)
- [bug#57050] [PATCH 0/6] gnu: Update Racket to 8.6. Add Zuo., Thiago Jung Bauermann, 2022/08/10
- [bug#57050] [PATCH 0/6] gnu: Update Racket to 8.6. Add Zuo., Philip McGrath, 2022/08/11
- [bug#57050] [PATCH v2 03/13] gnu: chez-scheme: Fix use of "/bin/sh"., Philip McGrath, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Philip McGrath, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Liliana Marie Prikler, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Philip McGrath, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Liliana Marie Prikler, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Philip McGrath, 2022/08/11
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Maxime Devos, 2022/08/16
- [bug#57050] [PATCH v2 04/13] gnu: Add Zuo., Philip McGrath, 2022/08/22