diff --git a/z3.spec b/z3.spec index 0dcee84..53b3b5c 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.8.14 +Version: 4.8.15 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -79,6 +79,9 @@ python contrib/cmake/bootstrap.py create %doc README-CMake.md README.md %changelog +* Sun Apr 03 2022 Automatic Build System 4.8.15-1mamba +- automatic version update by autodist + * Sat Dec 25 2021 Automatic Build System 4.8.14-1mamba - automatic version update by autodist