diff --git a/z3.spec b/z3.spec
index 50e62f2..3a6a1c8 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.13.3
+Version:       4.13.4
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -76,6 +76,9 @@ This package contains libraries and header files for developing applications tha
 %doc README-CMake.md README.md
 
 %changelog
+* Tue Dec 17 2024 Automatic Build System <autodist@openmamba.org> 4.13.4-1mamba
+- automatic version update by autodist
+
 * Sat Oct 12 2024 Automatic Build System <autodist@openmamba.org> 4.13.3-1mamba
 - automatic version update by autodist