aboutsummaryrefslogtreecommitdiff
path: root/security
diff options
context:
space:
mode:
authorÄlven <alven@FreeBSD.org>2026-02-19 16:32:19 +0000
committerÄlven <alven@FreeBSD.org>2026-02-19 17:30:53 +0000
commit4802819042c3b791bec276dcaa22c46478d3454f (patch)
treea37af7f1a8eba386b37863b8505fdb98d3764b99 /security
parentad2041275df3c6535f2e6878d99da23d953237b3 (diff)
math/z3: Update 4.15.8.0 => 4.16.0.0HEADmain
Approved by: arrowd@ (maintainer) Approved by: db@, yuri@ (Mentors, implicit) Differential Revision: https://reviews.freebsd.org/D55374
Diffstat (limited to 'security')
-rw-r--r--security/klee/Makefile1
-rw-r--r--security/py-angr/Makefile2
2 files changed, 2 insertions, 1 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile
index 89e35f67e665..78bc2b129e04 100644
--- 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
index 2cb0f358578f..e5ee1857031b 100644
--- 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}