mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-01 05:45:45 +00:00
Code Issues Releases Activity

math/lean4: update 4.5.0-rc1 → 4.5.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-01-02 07:29:02 -07:00
parent e9d79798a4
commit 5776e726c1
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/lean4/Makefile
View File

@ -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

6
math/lean4/distinfo
View File

@ -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