Page MenuHomeFreeBSD
Files F157430139

D55374.id172246.diff
No OneTemporary
Actions

D55374.id172246.diff
View Options

diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile
--- a/cad/PrusaSlicer/Makefile
+++ b/cad/PrusaSlicer/Makefile
@@ -1,7 +1,7 @@
PORTNAME= PrusaSlicer
DISTVERSIONPREFIX=version_
DISTVERSION= 2.9.4
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= cad
DIST_SUBDIR= PrusaSlicer
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,7 +1,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.14.1
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/vampire/Makefile b/math/vampire/Makefile
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -1,7 +1,7 @@
PORTNAME= vampire
DISTVERSIONPREFIX= v
DISTVERSION= 4.9casc2024
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
diff --git a/math/z3/Makefile b/math/z3/Makefile
--- 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
--- 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
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -18,6 +18,6 @@
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
diff --git a/security/klee/Makefile b/security/klee/Makefile
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -1,6 +1,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 3.2
+PORTREVISION= 1
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org
diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile
--- a/security/py-angr/Makefile
+++ b/security/py-angr/Makefile
@@ -1,7 +1,7 @@
PORTNAME= angr
DISTVERSIONPREFIX= v
DISTVERSION= ${ANGR_VERSION}
-PORTREVISION= 5
+PORTREVISION= 6
CATEGORIES= security devel python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/sysutils/triton/Makefile b/sysutils/triton/Makefile
--- a/sysutils/triton/Makefile
+++ b/sysutils/triton/Makefile
@@ -1,7 +1,7 @@
PORTNAME= triton
DISTVERSIONPREFIX= v
DISTVERSION= 0.9-597
-PORTREVISION= 1
+PORTREVISION= 2
DISTVERSIONSUFFIX= -gafb28564
CATEGORIES= sysutils

File Metadata

Mime Type
text/plain
Expires
Fri, May 22, 9:07 AM (5 h, 29 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
33417871
Default Alt Text
D55374.id172246.diff (2 KB)

Event Timeline