diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-25 00:30:59 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-25 06:45:18 -0800 |
| commit | 9ca498edefb1e63803aa3dbb1abca96fbf603dc5 (patch) | |
| tree | f9bef03a26db062aa983de91e0ce7dd3d86368cd /math | |
| parent | sysutils/mise: update 2025.11.5 → 2025.11.7 (diff) | |
math/lean4: update 4.25.1 → 4.25.2
Diffstat (limited to 'math')
| -rw-r--r-- | math/lean4/Makefile | 4 | ||||
| -rw-r--r-- | math/lean4/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/math/lean4/Makefile b/math/lean4/Makefile index c9e5174d7163..30652dafea6b 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.25.1 +DISTVERSION= 4.25.2 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 @@ -77,6 +77,6 @@ post-install: lib/lean/libleanshared_1.so \ lib/lean/libLake_shared.so -# tests as of 4.25.1: 100% tests passed, 0 tests failed out of 3241 +# tests as of 4.25.2: 100% tests passed, 0 tests failed out of 3241 .include <bsd.port.mk> diff --git a/math/lean4/distinfo b/math/lean4/distinfo index 5dc69960b21c..ca359438cd41 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1763958547 -SHA256 (leanprover-lean4-v4.25.1_GH0.tar.gz) = 0999ae6aed95eeb4d059142f2a4bd491d10168f8f348f711a767e320d54fea0a -SIZE (leanprover-lean4-v4.25.1_GH0.tar.gz) = 50069728 +TIMESTAMP = 1764048066 +SHA256 (leanprover-lean4-v4.25.2_GH0.tar.gz) = 831b1d1d3833791e68de087d8f576c4703a5dd82157dd19364629f5df7fcfb2c +SIZE (leanprover-lean4-v4.25.2_GH0.tar.gz) = 50069767 |