git: c264c3bf67e6 - main - math/lean4: update 4.29.0 → 4.29.1

The branch main has been updated by yuri:

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

commit c264c3bf67e61d76aea790dc155b8400e3ef9738
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-04-22 01:52:36 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-04-22 03:03:43 +0000

    math/lean4: update 4.29.0 → 4.29.1
---
 math/lean4/Makefile | 4 ++--
 math/lean4/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 2d7daa33fcab..ca32fe4421d8 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.29.0
-PORTREVISION=	1
+DISTVERSION=	4.29.1
 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
@@ -81,5 +80,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, 18 tests failed out of 3582, see https://github.com/leanprover/lean4/issues/13174
+# tests as of 4.29.1: 99% tests passed, 24 tests failed out of 3584
 
 .include <bsd.port.mk>
diff --git a/math/lean4/distinfo b/math/lean4/distinfo
index 7d1c27177894..3020aa5fab77 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1774685677
-SHA256 (leanprover-lean4-v4.29.0_GH0.tar.gz) = 6170af5cf19c56a9142e2f1e45ec37c5ee68425e916851cb0be9a5cb56defca7
-SIZE (leanprover-lean4-v4.29.0_GH0.tar.gz) = 52781362
+TIMESTAMP = 1776813893
+SHA256 (leanprover-lean4-v4.29.1_GH0.tar.gz) = 7a312f5c7e64233420b776cb9ba4ce05ed5c3d938bb3ed159cf69f892712e341
+SIZE (leanprover-lean4-v4.29.1_GH0.tar.gz) = 52782560