diff --git a/z3.spec b/z3.spec index 985f52d..e6e50b3 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.8.9 +Version: 4.8.10 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -81,6 +81,9 @@ python contrib/cmake/bootstrap.py create %doc README-CMake.md README.md %changelog +* Sat Jan 23 2021 Automatic Build System 4.8.10-1mamba +- automatic version update by autodist + * Mon Sep 14 2020 Automatic Build System 4.8.9-1mamba - automatic version update by autodist