freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/lean4: update 4.20.0 → 4.20.1

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich
2025-06-05 08:23:32 -07:00
parent aa9a3a3378
commit ba948fd4b4
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean4/Makefile
View File

@@ -1,6 +1,6 @@
PORTNAME= lean4
DISTVERSIONPREFIX= v
DISTVERSION= 4.20.0
DISTVERSION= 4.20.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

6
math/lean4/distinfo
View File

@@ -1,3 +1,3 @@
TIMESTAMP = 1748922676
SHA256 (leanprover-lean4-v4.20.0_GH0.tar.gz) = a6b0c2e9865b0339d77060a59bc821cfd43af47debd93e214042386710d18054
SIZE (leanprover-lean4-v4.20.0_GH0.tar.gz) = 40324553
TIMESTAMP = 1749107862
SHA256 (leanprover-lean4-v4.20.1_GH0.tar.gz) = 85b482da3748c404760a7492c331e5b6c74701d7913087b5da3616c5d949980f
SIZE (leanprover-lean4-v4.20.1_GH0.tar.gz) = 40325710