git: 4a66b5a5b35a - main - math/z3: Update to 4.14.1
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 18 Mar 2025 16:04:09 UTC
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