Page MenuHomeFreeBSD
Files F177553005

D60825.1794699966.diff
No OneTemporary
Actions

Authored By
Unknown
Size
5 KB
Referenced Files
None
Subscribers
None

D60825.1794699966.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/devel/cbmc/Makefile b/devel/cbmc/Makefile
--- a/devel/cbmc/Makefile
+++ b/devel/cbmc/Makefile
@@ -1,6 +1,7 @@
PORTNAME= cbmc
DISTVERSIONPREFIX= cbmc-
DISTVERSION= 6.11.0
+PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= DEBIAN/pool/main/m/minisat2:minisat
DISTFILES= minisat2_2.2.1.orig.tar.gz:minisat
diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile
--- a/lang/solidity/Makefile
+++ b/lang/solidity/Makefile
@@ -1,6 +1,6 @@
PORTNAME= solidity
DISTVERSION= 0.8.36
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= lang
MASTER_SITES= https://github.com/argotorg/solidity/releases/download/v${DISTVERSION}/
DISTNAME= ${PORTNAME}_${DISTVERSION}
diff --git a/math/py-claripy/Makefile b/math/py-claripy/Makefile
--- a/math/py-claripy/Makefile
+++ b/math/py-claripy/Makefile
@@ -1,7 +1,7 @@
PORTNAME= claripy
DISTVERSIONPREFIX= v
DISTVERSION= 9.2.219
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= math devel python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile
--- a/math/py-pysmt/Makefile
+++ b/math/py-pysmt/Makefile
@@ -1,7 +1,7 @@
PORTNAME= pysmt
DISTVERSIONPREFIX= v
DISTVERSION= 0.9.6
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
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/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
--- a/security/hs-cryptol/Makefile
+++ b/security/hs-cryptol/Makefile
@@ -1,5 +1,6 @@
PORTNAME= cryptol
DISTVERSION= 3.6.0
+PORTREVISION= 1
CATEGORIES= security lang haskell
MAINTAINER= yuri@FreeBSD.org
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-ailment/Makefile b/security/py-ailment/Makefile
--- a/security/py-ailment/Makefile
+++ b/security/py-ailment/Makefile
@@ -1,7 +1,7 @@
PORTNAME= ailment
DISTVERSIONPREFIX= v
DISTVERSION= ${ANGR_VERSION}
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= security devel python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
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/security/py-pyvex/Makefile b/security/py-pyvex/Makefile
--- a/security/py-pyvex/Makefile
+++ b/security/py-pyvex/Makefile
@@ -1,6 +1,6 @@
PORTNAME= pyvex
DISTVERSION= 9.2.222
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= security devel python
MASTER_SITES= PYPI
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
Sat, Nov 14, 11:46 PM (19 h, 29 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
41734197
Default Alt Text
D60825.1794699966.diff (5 KB)

Event Timeline