From 072ca418a11e50dc0636565e7da6e7d3921f8df0 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sun, 23 Mar 2025 14:10:29 -0700 Subject: [PATCH] =?UTF-8?q?math/py-z3-solver:=20update=204.13.3=20?= =?UTF-8?q?=E2=86=92=204.14.1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- math/py-z3-solver/Makefile | 3 ++- math/py-z3-solver/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index cbceca293d81..c1f93f9bc0ff 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,6 +1,6 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- -DISTVERSION= 4.13.3 +DISTVERSION= 4.14.1 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -44,6 +44,7 @@ do-test: ${ECHO} "==> running the example ${e}" && \ ${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \ ${ECHO} "... example ${e} succeeded" + @${ECHO} "All tests succeeded." .endfor .include diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo index 3a3e98e88025..7626b5b86593 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3-solver/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1731045651 -SHA256 (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 -SIZE (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = 5583533 +TIMESTAMP = 1742764116 +SHA256 (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a +SIZE (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 5844214