mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity

math/lean: Update 3.20.0 -> 3.21.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2020-10-12 23:46:14 +00:00
parent b64c900841
commit c44e93ff82
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=552157
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.20.0
DISTVERSION= 3.21.0
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/lean/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1599758053
SHA256 (leanprover-community-lean-v3.20.0_GH0.tar.gz) = 2fdd49ec17e0706346df7c3f013d634e03b2fdcbce341ad04d126e43af31f5c1
SIZE (leanprover-community-lean-v3.20.0_GH0.tar.gz) = 1855743
TIMESTAMP = 1602545928
SHA256 (leanprover-community-lean-v3.21.0_GH0.tar.gz) = 7effffb15bba9b3ed59adb124aec9e8b25ab7a00865421f4048f8bedf5b8dcf8
SIZE (leanprover-community-lean-v3.21.0_GH0.tar.gz) = 1856611