diff --git a/z3.spec b/z3.spec index 8e212c8..0c4ff4e 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.14.0 +Version: 4.14.1 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -75,6 +75,9 @@ 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 4.14.1-1mamba +- automatic version update by autodist + * Wed Feb 19 2025 Automatic Build System 4.14.0-1mamba - automatic version update by autodist