automatic version update by autodist [release 4.14.1-1mamba;Tue Mar 11 2025]

z3.spec

@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.8.16
+Version:       4.14.1
 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/z3-%{version}/z3-%{version}.tar.bz2
-Source:        https://github.com/Z3Prover/z3.git/master/z3-%{version}.tar.bz2
 License:       MIT
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
@@ -37,13 +36,12 @@ Requires:      lib%{name} = %{?epoch:%epoch:}%{version}-%{release}
 This package contains libraries and header files for developing applications that use %{name}.
 
 
-%debug_package
 
 %prep
 %setup -q
 #-D -T
 #:<< _EOF
-python contrib/cmake/bootstrap.py create
+#python contrib/cmake/bootstrap.py create
 
 %build
 #:<< _EOF
@@ -57,8 +55,6 @@ python contrib/cmake/bootstrap.py create
 %clean
 [ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
 
-%post -n lib%{name} -p /sbin/ldconfig
-%postun -n lib%{name} -p /sbin/ldconfig
 
 %files
 %defattr(-,root,root)
@@ -79,6 +75,60 @@ python contrib/cmake/bootstrap.py create
 %doc README-CMake.md README.md
 
 %changelog
+* Tue Mar 11 2025 Automatic Build System <autodist@openmamba.org> 4.14.1-1mamba
+- automatic version update by autodist
+
+* Wed Feb 19 2025 Automatic Build System <autodist@openmamba.org> 4.14.0-1mamba
+- automatic version update by autodist
+
+* 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
+
+* Sat Oct 05 2024 Automatic Build System <autodist@openmamba.org> 4.13.2-1mamba
+- automatic version update by autodist
+
+* Fri Mar 08 2024 Automatic Build System <autodist@openmamba.org> 4.13.0-1mamba
+- automatic version update by autodist
+
+* Tue Feb 27 2024 Automatic Build System <autodist@openmamba.org> 4.12.6-1mamba
+- automatic version update by autodist
+
+* Mon Jan 22 2024 Automatic Build System <autodist@openmamba.org> 4.12.5-1mamba
+- automatic version update by autodist
+
+* Thu Dec 07 2023 Automatic Build System <autodist@mambasoft.it> 4.12.4-1mamba
+- automatic version update by autodist
+
+* Wed Dec 06 2023 Automatic Build System <autodist@mambasoft.it> 4.12.3-1mamba
+- automatic version update by autodist
+
+* 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
+
 * Tue Apr 26 2022 Automatic Build System <autodist@mambasoft.it> 4.8.16-1mamba
 - automatic version update by autodist