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

math/lean: Update 3.18.2 -> 3.18.3

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2020-07-30 15:50:58 +00:00
parent 5bafbaccf4
commit b1a1f0940e
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=543797
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.18.2
DISTVERSION= 3.18.3
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/lean/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1596067169
SHA256 (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 71f61781de95f62d22ac121ba165ac2f515453f8a8db13c5b60e2db9f0bc2608
SIZE (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 1847949
TIMESTAMP = 1596123882
SHA256 (leanprover-community-lean-v3.18.3_GH0.tar.gz) = ec1980fea0612f621c03b1bba10eb3eac9eeba1765b7d24f87ced160dfa5768b
SIZE (leanprover-community-lean-v3.18.3_GH0.tar.gz) = 1848372