Page MenuHomeFreeBSD
Files F159726626

D53474.id165451.diff
No OneTemporary
Actions

D53474.id165451.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.2
-PORTREVISION= 8
+PORTREVISION= 9
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,12 +1,13 @@
PORTNAME= z3
-DISTVERSION= 4.15.3.0
+DISTVERSION= 4.15.4.0
CATEGORIES= math
MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
DISTNAME= ${PORTNAME}_solver-${DISTVERSION}
MAINTAINER= arrowd@FreeBSD.org
COMMENT= Z3 Theorem Prover
-WWW= https://github.com/Z3Prover/z3
+WWW= https://z3prover.github.io/ \
+ https://github.com/Z3Prover/z3/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
@@ -18,6 +19,8 @@
WRKSRC_SUBDIR= core
+PLIST_SUB= SOVERSION=${DISTVERSION}
+
OPTIONS_DEFINE= GMP
OPTIONS_SUB= yes
diff --git a/math/z3/distinfo b/math/z3/distinfo
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1758463427
-SHA256 (z3_solver-4.15.3.0.tar.gz) = 78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6
-SIZE (z3_solver-4.15.3.0.tar.gz) = 4985945
+TIMESTAMP = 1761831549
+SHA256 (z3_solver-4.15.4.0.tar.gz) = 928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946
+SIZE (z3_solver-4.15.4.0.tar.gz) = 5018600
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -19,5 +19,5 @@
lib/cmake/z3/Z3Targets.cmake
lib/libz3.so
lib/libz3.so.4.15
-lib/libz3.so.4.15.3.0
+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.1
+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
Thu, Jun 18, 1:46 PM (1 h, 5 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
34051807
Default Alt Text
D53474.id165451.diff (3 KB)

Event Timeline