diff --git a/math/z3/Makefile b/math/z3/Makefile
index 80f5d84c73e8..9b843725f3bc 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,30 +1,30 @@
 PORTNAME=	z3
-DISTVERSION=	4.15.4.0
+DISTVERSION=	4.15.8.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://z3prover.github.io/ \
 		https://github.com/Z3Prover/z3/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 USES=		cmake compiler:c++20-lang localbase:ldflags
 
 CMAKE_ARGS=	-DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig
 CMAKE_OFF=	Z3_ENABLE_EXAMPLE_TARGETS
 
 WRKSRC_SUBDIR=	core
 
 PLIST_SUB=	SOVERSION=${DISTVERSION}
 
 OPTIONS_DEFINE=	GMP
 OPTIONS_SUB=	yes
 
 GMP_LIB_DEPENDS=	libgmp.so:math/gmp
 GMP_CMAKE_BOOL=		Z3_USE_LIB_GMP
 
 .include <bsd.port.mk>
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 031749424d75..8b1c66bc8f9a 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1761831549
-SHA256 (z3_solver-4.15.4.0.tar.gz) = 928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946
-SIZE (z3_solver-4.15.4.0.tar.gz) = 5018600
+TIMESTAMP = 1771308833
+SHA256 (z3_solver-4.15.8.0.tar.gz) = f15aa2ff4c2ddc40aea1dc6a4d247ca68e0cf6c06e318a820ca049d074f7c03d
+SIZE (z3_solver-4.15.8.0.tar.gz) = 5073041