diff options
| author | Älven <alven@FreeBSD.org> | 2026-02-19 16:32:19 +0000 |
|---|---|---|
| committer | Älven <alven@FreeBSD.org> | 2026-02-19 17:30:53 +0000 |
| commit | 4802819042c3b791bec276dcaa22c46478d3454f (patch) | |
| tree | a37af7f1a8eba386b37863b8505fdb98d3764b99 /math/z3 | |
| parent | ad2041275df3c6535f2e6878d99da23d953237b3 (diff) | |
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 2 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 | ||||
| -rw-r--r-- | math/z3/pkg-plist | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 9b843725f3bc..5365506065d4 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,5 +1,5 @@ PORTNAME= z3 -DISTVERSION= 4.15.8.0 +DISTVERSION= 4.16.0.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 8b1c66bc8f9a..81d71c7503cf 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1771308833 -SHA256 (z3_solver-4.15.8.0.tar.gz) = f15aa2ff4c2ddc40aea1dc6a4d247ca68e0cf6c06e318a820ca049d074f7c03d -SIZE (z3_solver-4.15.8.0.tar.gz) = 5073041 +TIMESTAMP = 1771516821 +SHA256 (z3_solver-4.16.0.0.tar.gz) = 263d9ad668966e832c2b246ba0389298a599637793da2dc01cc5e4ef4b0b6c78 +SIZE (z3_solver-4.16.0.0.tar.gz) = 5098891 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index c50928af5df1..23294427a4e2 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.15 +lib/libz3.so.4.16 lib/libz3.so.%%SOVERSION%% libdata/pkgconfig/z3.pc |