freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/z3: Update to 4.14.1

Browse Source
This commit is contained in:
Gleb Popov 2025-03-18 15:20:49 +03:00
parent 32031a0632
commit 4a66b5a5b3
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/z3/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= z3 PORTNAME= z3
DISTVERSION= 4.13.4.0 DISTVERSION= 4.14.1.0
CATEGORIES= math CATEGORIES= math
MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/ MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
DISTNAME= ${PORTNAME}_solver-${DISTVERSION} DISTNAME= ${PORTNAME}_solver-${DISTVERSION}

6
math/z3/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1736078545 TIMESTAMP = 1742299618
SHA256 (z3_solver-4.13.4.0.tar.gz) = 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
SIZE (z3_solver-4.13.4.0.tar.gz) = 4969872 SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426

4
math/z3/pkg-plist
View File

@ -18,6 +18,6 @@ lib/cmake/z3/Z3ConfigVersion.cmake
lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake
lib/cmake/z3/Z3Targets.cmake lib/cmake/z3/Z3Targets.cmake
lib/libz3.so lib/libz3.so
lib/libz3.so.4.13 lib/libz3.so.4.14
lib/libz3.so.4.13.4.0 lib/libz3.so.4.14.1.0
libdata/pkgconfig/z3.pc libdata/pkgconfig/z3.pc