diff --git a/sources b/sources
index b9b674e..efaf1df 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.15.3.tar.gz) = fde2e334e455401b69ff1d518a8c9e14590b3140e3f6ef907f6d502cebcb0861478229a1a94e5e687d989cdb63f4fd8cde76c6501ea1b5f2b2d34c876aff3486
+SHA512 (z3-4.15.4.tar.gz) = 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2
diff --git a/z3.spec b/z3.spec
index 7438618..f39fa34 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@
 %global giturl  https://github.com/Z3Prover/z3
 
 Name:           z3
-Version:        4.15.3
+Version:        4.15.4
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver