diff --git a/sources b/sources
index 5d76ed9..979efb1 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.13.3.tar.gz) = c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
+SHA512 (z3-4.13.4.tar.gz) = fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
diff --git a/z3.spec b/z3.spec
index 885ec05..ae0a3c8 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@
 %global giturl  https://github.com/Z3Prover/z3
 
 Name:           z3
-Version:        4.13.3
+Version:        4.13.4
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver