automatic version update by autodist [release 4.12.2-1mamba;Sat May 13 2023]

z3.spec

@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.8.17
+Version:       4.12.2
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -7,8 +7,7 @@ Vendor:        openmamba
 Distribution:  openmamba
 Packager:      Silvan Calarco <silvan.calarco@mambasoft.it>
 URL:           https://github.com/Z3Prover
-## GITSOURCE https://github.com/Z3Prover/z3.git z3-4.5.0
-Source:        https://github.com/Z3Prover/z3.git/master/z3-%{version}.tar.bz2
+Source:        https://github.com/Z3Prover/z3.git/z3-%{version}/z3-%{version}.tar.bz2
 License:       MIT
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
@@ -43,7 +42,7 @@ This package contains libraries and header files for developing applications tha
 %setup -q
 #-D -T
 #:<< _EOF
-python contrib/cmake/bootstrap.py create
+#python contrib/cmake/bootstrap.py create
 
 %build
 #:<< _EOF
@@ -79,6 +78,27 @@ python contrib/cmake/bootstrap.py create
 %doc README-CMake.md README.md
 
 %changelog
+* Sat May 13 2023 Automatic Build System <autodist@mambasoft.it> 4.12.2-1mamba
+- automatic version update by autodist
+
+* Sun Jan 22 2023 Automatic Build System <autodist@mambasoft.it> 4.12.1-1mamba
+- automatic version update by autodist
+
+* Sun Jan 15 2023 Automatic Build System <autodist@mambasoft.it> 4.12.0-1mamba
+- automatic version update by autodist
+
+* Thu Dec 29 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 4.11.2-1mamba
+- update to 4.11.2
+
+* Sun Jul 31 2022 Automatic Build System <autodist@mambasoft.it> 4.10.2-1mamba
+- automatic version update by autodist
+
+* Sun Jul 24 2022 Automatic Build System <autodist@mambasoft.it> 4.10.1-1mamba
+- automatic version update by autodist
+
+* Tue Jul 12 2022 Automatic Build System <autodist@mambasoft.it> 4.9.1-1mamba
+- automatic version update by autodist
+
 * Fri May 06 2022 Automatic Build System <autodist@mambasoft.it> 4.8.17-1mamba
 - automatic version update by autodist