diff --git a/z3.spec b/z3.spec
index 3286aa9..b4f4f4b 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.5.0.20171128git
+Version:       4.6.0
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -80,6 +80,9 @@ python contrib/cmake/bootstrap.py create
 %doc README-CMake.md README.md
 
 %changelog
+* Tue Apr 24 2018 Automatic Build System <autodist@mambasoft.it> 4.6.0-1mamba
+- automatic version update by autodist
+
 * Tue Nov 28 2017 Silvan Calarco <silvan.calarco@mambasoft.it> 4.5.0.20171128git-1mamba
 - update to 4.5.0.20171128git