diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-22 00:47:13 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-22 00:47:13 +0000 |
| commit | e49e2fe582f00e48a66997fdce1d3f6bb819cdcf (patch) | |
| tree | 6402d9904402f611378f14c64f45f33eb731fe0a /math/py-z3-solver | |
| parent | 9bad9f682a04e62109f409891e7a198d0d5d171c (diff) | |
| download | ports-e49e2fe582f00e48a66997fdce1d3f6bb819cdcf.tar.gz ports-e49e2fe582f00e48a66997fdce1d3f6bb819cdcf.zip | |
math/py-z3-solver: Update 4.8.7 -> 4.8.8
Notes
Notes:
svn path=/head/; revision=542828
Diffstat (limited to 'math/py-z3-solver')
| -rw-r--r-- | math/py-z3-solver/Makefile | 2 | ||||
| -rw-r--r-- | math/py-z3-solver/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 3b8c480bb069..518fb36dd700 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -2,7 +2,7 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.7 +DISTVERSION= 4.8.8 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo index 128e73c6af83..15166486e2e4 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3-solver/distinfo @@ -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 |