diff --git a/z3.spec b/z3.spec index 6fcabfd..539cabb 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.12.5 +Version: 4.12.6 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -78,6 +78,9 @@ This package contains libraries and header files for developing applications tha %doc README-CMake.md README.md %changelog +* Tue Feb 27 2024 Automatic Build System 4.12.6-1mamba +- automatic version update by autodist + * Mon Jan 22 2024 Automatic Build System 4.12.5-1mamba - automatic version update by autodist