git: 891ee633ff92 - main - math/lean4: update 4.29.0-rc2 → 4.29.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sat, 28 Mar 2026 09:50:23 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=891ee633ff92a339d004da2466a99787ae45627a

commit 891ee633ff92a339d004da2466a99787ae45627a
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-03-28 09:45:39 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-03-28 09:50:21 +0000

    math/lean4: update 4.29.0-rc2 → 4.29.0
---
 math/lean4/Makefile  | 3 ++-
 math/lean4/distinfo  | 6 +++---
 math/lean4/pkg-plist | 6 ++++++
 3 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 0ee800616f73..d36f0279a70f 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.29.0-rc2
+DISTVERSION=	4.29.0
 CATEGORIES=	math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -79,5 +79,6 @@ post-install:
 
 # tests as of 4.25.2-20251201: 100% tests passed, 0 tests failed out of 3367
 # tests as of 4.29.0-rc2: 99% tests passed, 12 tests failed out of 3584, see https://github.com/leanprover/lean4/issues/12721
+# tests as of 4.29.0: 99% tests passed, 19 tests failed out of 3582
 
 .include <bsd.port.mk>
diff --git a/math/lean4/distinfo b/math/lean4/distinfo
index ea48da926973..7d1c27177894 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1772136453
-SHA256 (leanprover-lean4-v4.29.0-rc2_GH0.tar.gz) = 72dc439deaf313ffb032355fd2589f94a04ed19ee5e3d05d49091f02b94ae779
-SIZE (leanprover-lean4-v4.29.0-rc2_GH0.tar.gz) = 52612906
+TIMESTAMP = 1774685677
+SHA256 (leanprover-lean4-v4.29.0_GH0.tar.gz) = 6170af5cf19c56a9142e2f1e45ec37c5ee68425e916851cb0be9a5cb56defca7
+SIZE (leanprover-lean4-v4.29.0_GH0.tar.gz) = 52781362
diff --git a/math/lean4/pkg-plist b/math/lean4/pkg-plist
index 69bb2506dd50..23477d679820 100644
--- a/math/lean4/pkg-plist
+++ b/math/lean4/pkg-plist
@@ -8258,6 +8258,11 @@ lib/lean/Lean/Meta/WHNF.ir
 lib/lean/Lean/Meta/WHNF.olean
 lib/lean/Lean/Meta/WHNF.olean.private
 lib/lean/Lean/Meta/WHNF.olean.server
+lib/lean/Lean/Meta/WrapInstance.ilean
+lib/lean/Lean/Meta/WrapInstance.ir
+lib/lean/Lean/Meta/WrapInstance.olean
+lib/lean/Lean/Meta/WrapInstance.olean.private
+lib/lean/Lean/Meta/WrapInstance.olean.server
 lib/lean/Lean/MetavarContext.ilean
 lib/lean/Lean/MetavarContext.ir
 lib/lean/Lean/MetavarContext.olean
@@ -12546,6 +12551,7 @@ share/lean/lean.mk
 %%DATADIR%%/src/lean/Lean/Meta/TryThis.lean
 %%DATADIR%%/src/lean/Lean/Meta/UnificationHint.lean
 %%DATADIR%%/src/lean/Lean/Meta/WHNF.lean
+%%DATADIR%%/src/lean/Lean/Meta/WrapInstance.lean
 %%DATADIR%%/src/lean/Lean/MetavarContext.lean
 %%DATADIR%%/src/lean/Lean/Modifiers.lean
 %%DATADIR%%/src/lean/Lean/MonadEnv.lean