git: b3698bb1e46e - main - math/lean4: Add comment
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 28 Mar 2026 19:29:14 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=b3698bb1e46e794ecc63630b69302d2754036c42
commit b3698bb1e46e794ecc63630b69302d2754036c42
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-03-28 19:19:19 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-03-28 19:29:12 +0000
math/lean4: Add comment
---
math/lean4/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 2033d6a08123..2d7daa33fcab 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -80,6 +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
+# tests as of 4.29.0: 99% tests passed, 18 tests failed out of 3582, see https://github.com/leanprover/lean4/issues/13174
.include <bsd.port.mk>