svn commit: r542828 - head/math/py-z3-solver
Yuri Victorovich
yuri at FreeBSD.org
Wed Jul 22 00:47:14 UTC 2020
Author: yuri
Date: Wed Jul 22 00:47:13 2020
New Revision: 542828
URL: https://svnweb.freebsd.org/changeset/ports/542828
Log:
math/py-z3-solver: Update 4.8.7 -> 4.8.8
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 Wed Jul 22 00:39:25 2020 (r542827)
+++ head/math/py-z3-solver/Makefile Wed Jul 22 00:47:13 2020 (r542828)
@@ -2,7 +2,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
-DISTVERSION= 4.8.7
+DISTVERSION= 4.8.8
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Modified: head/math/py-z3-solver/distinfo
==============================================================================
--- head/math/py-z3-solver/distinfo Wed Jul 22 00:39:25 2020 (r542827)
+++ head/math/py-z3-solver/distinfo Wed Jul 22 00:47:13 2020 (r542828)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1583458496
-SHA256 (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
-SIZE (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 4343720
+TIMESTAMP = 1595378275
+SHA256 (Z3Prover-z3-z3-4.8.8_GH0.tar.gz) = 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff
+SIZE (Z3Prover-z3-z3-4.8.8_GH0.tar.gz) = 4520119
More information about the svn-ports-head
mailing list