diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index 40d18c74e1f4..9829959a31fc 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,50 +1,55 @@
 PORTNAME=	z3-solver
-DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.16.0
+DISTVERSION=	5.0.0.0
+PORTREVISION=	1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python binding for Z3 Theorem Prover
 WWW=		https://github.com/Z3Prover/z3
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
 LIB_DEPENDS=	libz3.so:math/z3
 
 USES=		cmake python
 USE_PYTHON=	flavors autoplist
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 GH_PROJECT=	z3
+GH_TAGNAME=	z3-5.0.0
 
 WRKSRC_SUBDIR=	src/api/python
 WRKSRC_top=	${WRKSRC}/../../..
 
 TEST_ENV=	${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}
 
 NO_ARCH=	yes
 
+PLIST_FILES=	${PYTHON_SITELIBDIR:S,^${PREFIX}/,,}/z3/z3regex.py
+
 post-patch:
 	@${RLN} ${WRKSRC_top}/scripts ${WRKSRC}/scripts
 	@${RLN} ${WRKSRC_top}/src/api ${WRKSRC}/api
 
 do-test:
 .for t in z3 z3num
 	@cd ${WRKSRC_top} && \
 		${CP} ${WRKSRC}/z3test.py . && \
 		${ECHO} "==> running the test ${t}" && \
 		${SETENV} ${TEST_ENV} ${PYTHON_CMD} z3test.py ${t} && \
 		${ECHO} "... test ${t} succeeded"
 .endfor
 .for e in kinematics power-of-two dog-cat-mouse sudoku eight-queens
 	@cd ${WRKSRC}/../../.. && \
 		${ECHO} "==> running the example ${e}" && \
 		${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \
 		${ECHO} "... example ${e} succeeded"
 	@${ECHO} "All tests succeeded."
 .endfor
 
+# tests as of 5.0.0.0: z3/z3num unit tests + kinematics, power-of-two, dog-cat-mouse, sudoku, eight-queens examples all passed.
+
 .include <bsd.port.mk>
diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo
index e2a94a1fdfec..0c56450b6fd9 100644
--- a/math/py-z3-solver/distinfo
+++ b/math/py-z3-solver/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1744070000
-SHA256 (Z3Prover-z3-z3-4.16.0_GH0.tar.gz) = c68c3e5e4810b16126b8cb4c47eee85c1ac3e24a81914c8e371b40de9dd33ac7
-SIZE (Z3Prover-z3-z3-4.16.0_GH0.tar.gz) = 6136396
+TIMESTAMP = 1785190590
+SHA256 (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = f3bf2274e61f22417c7354613cb57d4f8de86067029db1771523d7c34d27bf4c
+SIZE (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = 6777317