diff --git a/z3/z3.spec b/z3/z3.spec
index 039aa11fb6..e9a52a07a3 100644
--- a/z3/z3.spec
+++ b/z3/z3.spec
@@ -22,8 +22,8 @@
 ##
 
 #   package version
-%define       V_z3_base 4.15.3
-%define       V_z3_snap 20250823
+%define       V_z3_base 4.15.4
+%define       V_z3_snap 20251030
 
 #   package information
 Name:         z3
@@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Algorithm
 License:      MIT
 Version:      %{V_z3_base}.%{V_z3_snap}
-Release:      20250823
+Release:      20251030
 
 #   package options
 %option       with_python  no