diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-02 14:29:02 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-02-01 17:56:05 +0000 |
| commit | 5776e726c11ca8677234fe0619afc7def9651a00 (patch) | |
| tree | c9b8a36fd355292075a1025fb34770a9a43bd0bb | |
| parent | e9d79798a42b4653d6ec0d6d10d31c6b3940af8c (diff) | |
| download | ports-5776e726c11ca8677234fe0619afc7def9651a00.tar.gz ports-5776e726c11ca8677234fe0619afc7def9651a00.zip | |
math/lean4: update 4.5.0-rc1 → 4.5.0
Reported by: portscout
| -rw-r--r-- | math/lean4/Makefile | 3 | ||||
| -rw-r--r-- | math/lean4/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 59197ac7f8b5..64de7b7817db 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,7 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.5.0-rc1 -PORTREVISION= 2 +DISTVERSION= 4.5.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 diff --git a/math/lean4/distinfo b/math/lean4/distinfo index d307f90be676..212153a2baf9 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1705134061 -SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129 -SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956 +TIMESTAMP = 1706759565 +SHA256 (leanprover-lean4-v4.5.0_GH0.tar.gz) = 9a7e3661245cd6f115919695d7041396cf44b081b03421cac9bda6bf8353df0f +SIZE (leanprover-lean4-v4.5.0_GH0.tar.gz) = 17060034 |