Page MenuHomeFreeBSD
Files F177465058

D60825.1794486922.diff
No OneTemporary
Actions

Authored By
Unknown
Size
2 KB
Referenced Files
None
Subscribers
None

D60825.1794486922.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.5
-PORTREVISION= 6
+PORTREVISION= 7
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,5 +1,6 @@
PORTNAME= z3-solver
DISTVERSION= 5.1.0.0
+PORTREVISION= 1
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= 4
+PORTREVISION= 5
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= 5.1.0.0
+DISTVERSION= 5.3.1.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 = 1786913117
-SHA256 (z3_solver-5.1.0.0.tar.gz) = 269a0bf62949d227a16ab42afee6750f18477e173a14de6aeaf8789f33f813b5
-SIZE (z3_solver-5.1.0.0.tar.gz) = 5468088
+TIMESTAMP = 1792271156
+SHA256 (z3_solver-5.3.1.0.tar.gz) = efa420092193e1e65f90fedb0905e230deb1673634e0c66cccf4aab14d533473
+SIZE (z3_solver-5.3.1.0.tar.gz) = 5870439
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -13,11 +13,11 @@
include/z3_spacer.h
include/z3_v1.h
include/z3_version.h
+lib/cmake/z3/Z3-shared-targets-%%CMAKE_BUILD_TYPE%%.cmake
+lib/cmake/z3/Z3-shared-targets.cmake
lib/cmake/z3/Z3Config.cmake
lib/cmake/z3/Z3ConfigVersion.cmake
-lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/z3/Z3Targets.cmake
lib/libz3.so
-lib/libz3.so.5.1
+lib/libz3.so.5.3
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,7 +1,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 3.2
-PORTREVISION= 3
+PORTREVISION= 4
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= 8
+PORTREVISION= 9
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= 4
+PORTREVISION= 5
DISTVERSIONSUFFIX= -gafb28564
CATEGORIES= sysutils

File Metadata

Mime Type
text/plain
Expires
Thu, Nov 12, 12:35 PM (18 h, 21 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
41676124
Default Alt Text
D60825.1794486922.diff (2 KB)

Event Timeline