kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/lean: Update 3.17.1 -> 3.18.2

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2020-07-30 00:55:24 +00:00
parent fe36327d28
commit 59da5ce569
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=543698
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/lean/Makefile
View file

@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.17.1
DISTVERSION= 3.18.2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@ -17,7 +17,6 @@ LIB_DEPENDS= libgmp.so:math/gmp
USES= cmake compiler:c++11-lang
USE_GITHUB= yes
GH_ACCOUNT= leanprover-community
USE_LDCONFIG= yes
WRKSRC_SUBDIR= src

6
math/lean/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1595369167
SHA256 (leanprover-community-lean-v3.17.1_GH0.tar.gz) = 6df0bfd67986546d751fd91513f9fd2fdf5d4f075ceec31f8c4cc23e5956b8a9
SIZE (leanprover-community-lean-v3.17.1_GH0.tar.gz) = 1843488
TIMESTAMP = 1596067169
SHA256 (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 71f61781de95f62d22ac121ba165ac2f515453f8a8db13c5b60e2db9f0bc2608
SIZE (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 1847949