git: c3ee0d25f047 - main - math/z3: Update 5.0.0.0 => 5.1.0.0

Älven <[email protected]>
Newsgroups gmane.os.freebsd.devel.cvs.ports
Message-ID <6a82f2b5.389c9.39a48740__18564.2980782845$1786966898$gmane$org@gitrepo.freebsd.org> 
The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c3ee0d25f047893a5f60375c6594caf5a22f18cf

commit c3ee0d25f047893a5f60375c6594caf5a22f18cf
Author:     Älven <[email protected]>
AuthorDate: 2026-08-17 09:08:40 +0000
Commit:     Älven <[email protected]>
CommitDate: 2026-08-17 11:37:23 +0000

    math/z3: Update 5.0.0.0 => 5.1.0.0
    
    Approved by:            arrowd@ (maintainer)
    Approved by:            db@, yuri@ (Mentors, implicit)
    Differential Revision:  https://reviews.freebsd.org/D58886
---
 cad/PrusaSlicer/Makefile     | 2 +-
 cad/yosys/Makefile           | 2 +-
 devel/cbmc/Makefile          | 2 +-
 lang/solidity/Makefile       | 2 +-
 math/py-claripy/Makefile     | 2 +-
 math/py-pysmt/Makefile       | 2 +-
 math/vampire/Makefile        | 2 +-
 math/z3/Makefile             | 2 +-
 math/z3/distinfo             | 6 +++---
 math/z3/pkg-plist            | 2 +-
 security/hs-cryptol/Makefile | 2 +-
 security/klee/Makefile       | 2 +-
 security/py-ailment/Makefile | 2 +-
 security/py-angr/Makefile    | 2 +-
 security/py-pyvex/Makefile   | 2 +-
 sysutils/triton/Makefile     | 2 +-
 16 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile
index 857c87591b9c..b1576897b86d 100644
--- a/cad/PrusaSlicer/Makefile
+++ b/cad/PrusaSlicer/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	PrusaSlicer
 DISTVERSIONPREFIX=version_
 DISTVERSION=	2.9.5
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	cad
 DIST_SUBDIR=	PrusaSlicer
 
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index a00080fbefb8..7bb45cebbadd 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.66
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	cad
 
 MAINTAINER=	[email protected]
diff --git a/devel/cbmc/Makefile b/devel/cbmc/Makefile
index e287cb143aa3..87c24829c9f9 100644
--- a/devel/cbmc/Makefile
+++ b/devel/cbmc/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	cbmc
 DISTVERSIONPREFIX=	cbmc-
 DISTVERSION=	6.10.0
-PORTREVISION=	1
+PORTREVISION=	2
 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
index 81cd73a6b238..6d49af8e9fd9 100644
--- a/lang/solidity/Makefile
+++ b/lang/solidity/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	solidity
 DISTVERSION=	0.8.36
-PORTREVISION=	1
+PORTREVISION=	2
 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
index 1d1d50fe7322..ec9c00019cea 100644
--- a/math/py-claripy/Makefile
+++ b/math/py-claripy/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	claripy
 DISTVERSIONPREFIX=	v
 DISTVERSION=	9.2.219
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math devel python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile
index fe4dcaa71f22..f71663938216 100644
--- a/math/py-pysmt/Makefile
+++ b/math/py-pysmt/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	pysmt
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.9.6
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index e5c097319326..d7b89693dad7 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	vampire
 DISTVERSIONPREFIX=	v
 DISTVERSION=	4.9casc2024
-PORTREVISION=	3
+PORTREVISION=	4
 CATEGORIES=	math
 
 MAINTAINER=	[email protected]
diff --git a/math/z3/Makefile b/math/z3/Makefile
index e738f2524166..6c0416237217 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	z3
-DISTVERSION=	5.0.0.0
+DISTVERSION=	5.1.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
index 8c83777fb1b8..21be6d78fcf6 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1785190052
-SHA256 (z3_solver-5.0.0.0.tar.gz) = 24d4b524c21f48c86c7058a36e83091c1fc08be28b68bf5a0f3cce5305ed8464
-SIZE (z3_solver-5.0.0.0.tar.gz) = 5388479
+TIMESTAMP = 1786913117
+SHA256 (z3_solver-5.1.0.0.tar.gz) = 269a0bf62949d227a16ab42afee6750f18477e173a14de6aeaf8789f33f813b5
+SIZE (z3_solver-5.1.0.0.tar.gz) = 5468088
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
index 130840282cfb..2a223790e2af 100644
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -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.5.0
+lib/libz3.so.5.1
 lib/libz3.so.%%SOVERSION%%
 libdata/pkgconfig/z3.pc
diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
index a012a5d4e2e2..0757b90a9f68 100644
--- a/security/hs-cryptol/Makefile
+++ b/security/hs-cryptol/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cryptol
 DISTVERSION=	3.4.0
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	security lang haskell
 
 MAINTAINER=	[email protected]
diff --git a/security/klee/Makefile b/security/klee/Makefile
index ebce6471ca8f..34be55df39b9 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	klee
 DISTVERSIONPREFIX=	v
 DISTVERSION=	3.2
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	security devel
 
 MAINTAINER=	[email protected]
diff --git a/security/py-ailment/Makefile b/security/py-ailment/Makefile
index 19a0405e955a..1e6f01ce2675 100644
--- a/security/py-ailment/Makefile
+++ b/security/py-ailment/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	ailment
 DISTVERSIONPREFIX=	v
 DISTVERSION=	${ANGR_VERSION}
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	security devel python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile
index 28d32b2c6c54..3263d640c43a 100644
--- a/security/py-angr/Makefile
+++ b/security/py-angr/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	angr
 DISTVERSIONPREFIX=	v
 DISTVERSION=	${ANGR_VERSION}
-PORTREVISION=	7
+PORTREVISION=	8
 CATEGORIES=	security devel python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/security/py-pyvex/Makefile b/security/py-pyvex/Makefile
index e78172757dea..13ae3e121617 100644
--- a/security/py-pyvex/Makefile
+++ b/security/py-pyvex/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	pyvex
 DISTVERSION=	9.2.222
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	security devel python
 MASTER_SITES=	PYPI
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
diff --git a/sysutils/triton/Makefile b/sysutils/triton/Makefile
index 4b2134238812..c9f04bf476f7 100644
--- a/sysutils/triton/Makefile
+++ b/sysutils/triton/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	triton
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.9-597
-PORTREVISION=	3
+PORTREVISION=	4
 DISTVERSIONSUFFIX=	-gafb28564
 CATEGORIES=	sysutils
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.