diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-02-15 05:33:37 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-02-15 05:33:37 +0000 |
| commit | 1e220cf9d5085280f9127f52e45d19b3979ba317 (patch) | |
| tree | ce5f2a464bb3b0370d5a7fb26fb05395f7fd4440 /math/py-z3-solver | |
| parent | 2e51e345240b0efdb41af59bc12738088270d10b (diff) | |
| download | ports-1e220cf9d5085280f9127f52e45d19b3979ba317.tar.gz ports-1e220cf9d5085280f9127f52e45d19b3979ba317.zip | |
math/py-z3-solver: Update 4.8.9 -> 4.8.10
Notes
Notes:
svn path=/head/; revision=565290
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 d8c299bc1e9b..1f1519f1450b 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.9 +DISTVERSION= 4.8.10 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo index 3ad3521cfe14..e6618644a546 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3-solver/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1605071451 -SHA256 (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 -SIZE (Z3Prover-z3-z3-4.8.9_GH0.tar.gz) = 4624159 +TIMESTAMP = 1613365750 +SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 +SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869 |