git: 072ca418a11e - main - math/py-z3-solver: update 4.13.3 → 4.14.1

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=072ca418a11e50dc0636565e7da6e7d3921f8df0

commit 072ca418a11e50dc0636565e7da6e7d3921f8df0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-03-23 21:10:29 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-03-23 21:42:22 +0000

    math/py-z3-solver: update 4.13.3 → 4.14.1
---
 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 <bsd.port.mk>
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