FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/z3: Update 4.15.8.0 => 4.16.0.0

Browse Source 
Approved by:		arrowd@ (maintainer)
Approved by:	    	db@, yuri@ (Mentors, implicit)
Differential Revision:	https://reviews.freebsd.org/D55374
This commit is contained in:
Älven
2026-02-19 20:32:19 +04:00
parent ad2041275d
commit 4802819042
9 changed files with 11 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
cad/PrusaSlicer/Makefile
+1 -1
View File
@@ -1,7 +1,7 @@
PORTNAME= PrusaSlicer
DISTVERSIONPREFIX=version_
DISTVERSION= 2.9.4
PORTREVISION= 2
PORTREVISION= 3
CATEGORIES= cad
DIST_SUBDIR= PrusaSlicer
math/py-z3-solver/Makefile
+1 -1
View File
@@ -1,7 +1,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.14.1
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
math/vampire/Makefile
+1 -1
View File
@@ -1,7 +1,7 @@
PORTNAME= vampire
DISTVERSIONPREFIX= v
DISTVERSION= 4.9casc2024
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
math/z3/Makefile
+1 -1
View File
@@ -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}
math/z3/distinfo
+3 -3
View File
@@ -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
math/z3/pkg-plist
+1 -1
View File
@@ -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
security/klee/Makefile
+1
View File
@@ -1,6 +1,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 3.2
PORTREVISION= 1
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org
security/py-angr/Makefile
+1 -1
View File
@@ -1,7 +1,7 @@
PORTNAME= angr
DISTVERSIONPREFIX= v
DISTVERSION= ${ANGR_VERSION}
PORTREVISION= 5
PORTREVISION= 6
CATEGORIES= security devel python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
sysutils/triton/Makefile
+1 -1
View File
@@ -1,7 +1,7 @@
PORTNAME= triton
DISTVERSIONPREFIX= v
DISTVERSION= 0.9-597
PORTREVISION= 1
PORTREVISION= 2
DISTVERSIONSUFFIX= -gafb28564
CATEGORIES= sysutils