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