Date: Sun, 5 Jan 2025 10:18:46 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 88a769f5fa2a - main - math/z3: Update to 4.13.4 Message-ID: <202501051018.505AIkTn034376@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=88a769f5fa2afe0180ecac54a90ea0f3812208ae commit 88a769f5fa2afe0180ecac54a90ea0f3812208ae Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2025-01-05 10:18:23 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2025-01-05 10:18:37 +0000 math/z3: Update to 4.13.4 --- math/z3/Makefile | 2 +- math/z3/distinfo | 6 +++--- math/z3/pkg-plist | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index d793caa3e4a6..ac42b2bf91aa 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,6 +1,6 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.13.2 +DISTVERSION= 4.13.4 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 8ff6c36ddf0d..98b235f2614f 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1727532409 -SHA256 (Z3Prover-z3-z3-4.13.2_GH0.tar.gz) = fd7dc6dd2633074f0a47670d6378b0e5c28c2c26f2b58aa23e9cd7f0bc9ba0dc -SIZE (Z3Prover-z3-z3-4.13.2_GH0.tar.gz) = 5578178 +TIMESTAMP = 1736070226 +SHA256 (Z3Prover-z3-z3-4.13.4_GH0.tar.gz) = 4071977e66e9f3d239b7b098ceddfe62ffdf3c71e345e9524a4a5001d1f4adf3 +SIZE (Z3Prover-z3-z3-4.13.4_GH0.tar.gz) = 5766645 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 41fa8dd7a334..3c98fbec2351 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -19,5 +19,5 @@ 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.2.0 +lib/libz3.so.4.13.4.0 libdata/pkgconfig/z3.pc
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202501051018.505AIkTn034376>