diff --git a/math/z3/Makefile b/math/z3/Makefile
index 566e16cba61a..80f5d84c73e8 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,27 +1,30 @@
 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
 
 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 11399b5e4a29..031749424d75 100644
--- 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
index 1aa3d23cb8c4..c50928af5df1 100644
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -1,23 +1,23 @@
 bin/z3
 include/z3++.h
 include/z3.h
 include/z3_algebraic.h
 include/z3_api.h
 include/z3_ast_containers.h
 include/z3_fixedpoint.h
 include/z3_fpa.h
 include/z3_macros.h
 include/z3_optimization.h
 include/z3_polynomial.h
 include/z3_rcf.h
 include/z3_spacer.h
 include/z3_v1.h
 include/z3_version.h
 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.4.15
-lib/libz3.so.4.15.3.0
+lib/libz3.so.%%SOVERSION%%
 libdata/pkgconfig/z3.pc