Date: Sat, 28 Mar 2026 09:50:23 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 891ee633ff92 - main - math/lean4: update 4.29.0=?utf-8?Q?-rc2 =E2=86=92?= 4.29.0 Message-ID: <69c7a45f.31f0c.95e0e52@gitrepo.freebsd.org>
index | next in thread | raw e-mail
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.leanhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69c7a45f.31f0c.95e0e52>