svn commit: r543797 - head/math/lean
Yuri Victorovich
yuri at FreeBSD.org
Thu Jul 30 15:51:02 UTC 2020
Author: yuri
Date: Thu Jul 30 15:50:58 2020
New Revision: 543797
URL: https://svnweb.freebsd.org/changeset/ports/543797
Log:
math/lean: Update 3.18.2 -> 3.18.3
Reported by: portscout
Modified:
head/math/lean/Makefile
head/math/lean/distinfo
Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile Thu Jul 30 15:44:12 2020 (r543796)
+++ head/math/lean/Makefile Thu Jul 30 15:50:58 2020 (r543797)
@@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
-DISTVERSION= 3.18.2
+DISTVERSION= 3.18.3
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo Thu Jul 30 15:44:12 2020 (r543796)
+++ head/math/lean/distinfo Thu Jul 30 15:50:58 2020 (r543797)
@@ -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
More information about the svn-ports-all
mailing list