diff --git a/math/z3/Makefile b/math/z3/Makefile
index 8a5c1df143f..e8654effbfa 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,6 +1,6 @@
 COMMENT =	Z3 theorem prover
 
-DIST_TUPLE =	github	Z3Prover	z3	z3-4.14.0	.
+DIST_TUPLE =	github	Z3Prover	z3	z3-4.14.1	.
 PKGNAME =	${DISTNAME:S/z3-//}
 
 SHARED_LIBS =	z3	4.14
diff --git a/math/z3/distinfo b/math/z3/distinfo
index d915fa4089d..fdc99cda19b 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,2 +1,2 @@
-SHA256 (Z3Prover-z3-z3-4.14.0.tar.gz) = Y0MMOqt291sdLFMXf5Q1HK7KJuIY9MwGCh/AKQWa9oM=
-SIZE (Z3Prover-z3-z3-4.14.0.tar.gz) = 5841848
+SHA256 (Z3Prover-z3-z3-4.14.1.tar.gz) = gaAsLGTGTWw98jP1kYa5VieZCtoMTC/JAcnCWnByZyo=
+SIZE (Z3Prover-z3-z3-4.14.1.tar.gz) = 5844214