1 changed files with 7 additions and 57 deletions
--- a/z3.spec
+++ b/z3.spec
@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.14.1
+Version:       4.8.16
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@ -7,7 +7,8 @@ Vendor:        openmamba
 Distribution:  openmamba
 Packager:      Silvan Calarco <silvan.calarco@mambasoft.it>
 URL:           https://github.com/Z3Prover
-Source:        https://github.com/Z3Prover/z3.git/z3-%{version}/z3-%{version}.tar.bz2
+## GITSOURCE https://github.com/Z3Prover/z3.git z3-4.5.0
+Source:        https://github.com/Z3Prover/z3.git/master/z3-%{version}.tar.bz2
 License:       MIT
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
@ -36,12 +37,13 @@ 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
@ -55,6 +57,8 @@ This package contains libraries and header files for developing applications tha
 %clean
 [ "%{buildroot}" != / ] && rm -rf "%{buildroot}"

+%post -n lib%{name} -p /sbin/ldconfig
+%postun -n lib%{name} -p /sbin/ldconfig

 %files
 %defattr(-,root,root)
@ -75,60 +79,6 @@ This package contains libraries and header files for developing applications tha
 %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