ports@, I'd like to update math/z3 to 3.14.0
Changes: https://github.com/Z3Prover/z3/releases/tag/z3-4.14.0 Tested on -current/amd64. Ok? Index: math/z3/Makefile =================================================================== RCS file: /home/cvs/ports/math/z3/Makefile,v diff -u -p -r1.37 Makefile --- math/z3/Makefile 25 Dec 2024 01:18:59 -0000 1.37 +++ math/z3/Makefile 19 Feb 2025 09:26:15 -0000 @@ -1,9 +1,9 @@ COMMENT = Z3 theorem prover -DIST_TUPLE = github Z3Prover z3 z3-4.13.4 . +DIST_TUPLE = github Z3Prover z3 z3-4.14.0 . PKGNAME = ${DISTNAME:S/z3-//} -SHARED_LIBS = z3 4.13 +SHARED_LIBS = z3 4.14 CATEGORIES = math Index: math/z3/distinfo =================================================================== RCS file: /home/cvs/ports/math/z3/distinfo,v diff -u -p -r1.17 distinfo --- math/z3/distinfo 25 Dec 2024 01:18:59 -0000 1.17 +++ math/z3/distinfo 19 Feb 2025 09:26:25 -0000 @@ -1,2 +1,2 @@ -SHA256 (Z3Prover-z3-z3-4.13.4.tar.gz) = QHGXfmbp89I5t7CYzt3+Yv/fPHHjRelSSkpQAdH0rfM= -SIZE (Z3Prover-z3-z3-4.13.4.tar.gz) = 5766645 +SHA256 (Z3Prover-z3-z3-4.14.0.tar.gz) = Y0MMOqt291sdLFMXf5Q1HK7KJuIY9MwGCh/AKQWa9oM= +SIZE (Z3Prover-z3-z3-4.14.0.tar.gz) = 5841848
