From 1e220cf9d5085280f9127f52e45d19b3979ba317 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Mon, 15 Feb 2021 05:33:37 +0000 Subject: [PATCH] math/py-z3-solver: Update 4.8.9 -> 4.8.10 --- math/py-z3-solver/Makefile | 2 +- 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