svn commit: r527855 - head/math/py-z3-solver
Yuri Victorovich
yuri at FreeBSD.org
Fri Mar 6 02:17:04 UTC 2020
Author: yuri
Date: Fri Mar 6 02:17:03 2020
New Revision: 527855
URL: https://svnweb.freebsd.org/changeset/ports/527855
Log:
math/py-z3-solver: Update 4.8.4 -> 4.8.7
Modified:
head/math/py-z3-solver/Makefile
head/math/py-z3-solver/distinfo
Modified: head/math/py-z3-solver/Makefile
==============================================================================
--- head/math/py-z3-solver/Makefile Fri Mar 6 01:44:53 2020 (r527854)
+++ head/math/py-z3-solver/Makefile Fri Mar 6 02:17:03 2020 (r527855)
@@ -2,8 +2,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
-DISTVERSION= 4.8.4
-PORTREVISION= 3
+DISTVERSION= 4.8.7
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Modified: head/math/py-z3-solver/distinfo
==============================================================================
--- head/math/py-z3-solver/distinfo Fri Mar 6 01:44:53 2020 (r527854)
+++ head/math/py-z3-solver/distinfo Fri Mar 6 02:17:03 2020 (r527855)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1549820977
-SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
-SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081
+TIMESTAMP = 1583458496
+SHA256 (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
+SIZE (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 4343720
More information about the svn-ports-head
mailing list