CVS commit: pkgsrc/math/lean4
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
Module Name: pkgsrc Committed By: wiz Date: Fri Aug 21 18:43:46 UTC 2026 Modified Files: pkgsrc/math/lean4: Makefile distinfo Log Message: lean4: update to 4.33.1. This patch release contains runtime and kernel fixes. To generate a diff of this commit: cvs rdiff -u -r1.8 -r1.9 pkgsrc/math/lean4/Makefile cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/lean4/distinfo Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
(unnamed)
(text/x-diff, 1.7 KB)
Modified files:
Index: pkgsrc/math/lean4/Makefile
diff -u pkgsrc/math/lean4/Makefile:1.8 pkgsrc/math/lean4/Makefile:1.9
--- pkgsrc/math/lean4/Makefile:1.8 Tue Aug 11 12:55:48 2026
+++ pkgsrc/math/lean4/Makefile Fri Aug 21 18:43:46 2026
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.8 2026/08/11 12:55:48 wiz Exp $
+# $NetBSD: Makefile,v 1.9 2026/08/21 18:43:46 wiz Exp $
-DISTNAME= lean4-4.33.0
+DISTNAME= lean4-4.33.1
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=leanprover/}
GITHUB_TAG= v${PKGVERSION_NOREV}
Index: pkgsrc/math/lean4/distinfo
diff -u pkgsrc/math/lean4/distinfo:1.6 pkgsrc/math/lean4/distinfo:1.7
--- pkgsrc/math/lean4/distinfo:1.6 Tue Aug 11 12:55:48 2026
+++ pkgsrc/math/lean4/distinfo Fri Aug 21 18:43:46 2026
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.6 2026/08/11 12:55:48 wiz Exp $
+$NetBSD: distinfo,v 1.7 2026/08/21 18:43:46 wiz Exp $
-BLAKE2s (lean4-4.33.0.tar.gz) = b927ea9d3bb6b62527cecdf4c898702d0783a2a2328413b6d2f6b9b74bab5953
-SHA512 (lean4-4.33.0.tar.gz) = 76cc04f43fd25c482fab228264ed69045e2fe1c0b4de265d43d74a2565f18467393e76002f2029016a86d7ec90e1a5ec585f328a60556cd0d4003c4a710a7b5e
-Size (lean4-4.33.0.tar.gz) = 86677749 bytes
+BLAKE2s (lean4-4.33.1.tar.gz) = 8639ccf7f54d47e4e90e21cd266b71698f7f9009fb2126b48553195308a4d335
+SHA512 (lean4-4.33.1.tar.gz) = 72808891827abfa02c52e15cf64fc96c48a02738f5aac0331a009772512e8cad0cae18373615a734e850328d8422d32e374289805bfcaef2852efc8234867c76
+Size (lean4-4.33.1.tar.gz) = 86700313 bytes
SHA1 (patch-src_CMakeLists.txt) = c6620d0ca4c6f5d2fccf4e8e97462661c1a9d38d
SHA1 (patch-src_Leanc.lean) = 156025c502ceb1afc67288c107cdca99b6968cc6
SHA1 (patch-src_include_lean_lean.h) = 017a9c5b5ac185a122a831f6fe4a64e94d9caad9