git: 4a66b5a5b35a - main - math/z3: Update to 4.14.1

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=4a66b5a5b35aa07b4f073363872dbcf5051d580a

commit 4a66b5a5b35aa07b4f073363872dbcf5051d580a
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2025-03-18 12:20:49 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2025-03-18 16:03:59 +0000

    math/z3: Update to 4.14.1
---
 math/z3/Makefile  | 2 +-
 math/z3/distinfo  | 6 +++---
 math/z3/pkg-plist | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/math/z3/Makefile b/math/z3/Makefile
index f4f27d32517b..63d368089c33 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	z3
-DISTVERSION=	4.13.4.0
+DISTVERSION=	4.14.1.0
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
 DISTNAME=	${PORTNAME}_solver-${DISTVERSION}
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 519e40ed8032..13cb429023d9 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1736078545
-SHA256 (z3_solver-4.13.4.0.tar.gz) = 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f
-SIZE (z3_solver-4.13.4.0.tar.gz) = 4969872
+TIMESTAMP = 1742299618
+SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
+SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
index 3c98fbec2351..31b2e987ef5e 100644
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -18,6 +18,6 @@ lib/cmake/z3/Z3ConfigVersion.cmake
 lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/z3/Z3Targets.cmake
 lib/libz3.so
-lib/libz3.so.4.13
-lib/libz3.so.4.13.4.0
+lib/libz3.so.4.14
+lib/libz3.so.4.14.1.0
 libdata/pkgconfig/z3.pc