ports@,
I'd like to update math/z3 to 4.14.1
Tested on -current/amd64
Ok?
Index: math/z3/Makefile
===================================================================
RCS file: /home/cvs/ports/math/z3/Makefile,v
diff -u -p -r1.38 Makefile
--- math/z3/Makefile 20 Feb 2025 23:06:41 -0000 1.38
+++ math/z3/Makefile 12 Mar 2025 15:00:16 -0000
@@ -1,6 +1,6 @@
COMMENT = Z3 theorem prover
-DIST_TUPLE = github Z3Prover z3 z3-4.14.0 .
+DIST_TUPLE = github Z3Prover z3 z3-4.14.1 .
PKGNAME = ${DISTNAME:S/z3-//}
SHARED_LIBS = z3 4.14
Index: math/z3/distinfo
===================================================================
RCS file: /home/cvs/ports/math/z3/distinfo,v
diff -u -p -r1.18 distinfo
--- math/z3/distinfo 20 Feb 2025 23:06:41 -0000 1.18
+++ math/z3/distinfo 12 Mar 2025 15:00:24 -0000
@@ -1,2 +1,2 @@
-SHA256 (Z3Prover-z3-z3-4.14.0.tar.gz) =
Y0MMOqt291sdLFMXf5Q1HK7KJuIY9MwGCh/AKQWa9oM=
-SIZE (Z3Prover-z3-z3-4.14.0.tar.gz) = 5841848
+SHA256 (Z3Prover-z3-z3-4.14.1.tar.gz) =
gaAsLGTGTWw98jP1kYa5VieZCtoMTC/JAcnCWnByZyo=
+SIZE (Z3Prover-z3-z3-4.14.1.tar.gz) = 5844214
