diff --git a/z3.spec b/z3.spec index fca594f..f5dcf95 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.13.0 +Version: 4.13.2 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -56,8 +56,6 @@ 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) @@ -78,6 +76,9 @@ This package contains libraries and header files for developing applications tha %doc README-CMake.md README.md %changelog +* Sat Oct 05 2024 Automatic Build System 4.13.2-1mamba +- automatic version update by autodist + * Fri Mar 08 2024 Automatic Build System 4.13.0-1mamba - automatic version update by autodist