From ea20483a0bf0446d69c150a1c7208558fb91fd31 Mon Sep 17 00:00:00 2001 From: Automatic Build System Date: Fri, 5 Jan 2024 20:02:39 +0100 Subject: [PATCH] automatic version update by autodist [release 4.12.4-1mamba;Thu Dec 07 2023] --- z3.spec | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/z3.spec b/z3.spec index b0a9de6..37465a6 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.12.2 +Version: 4.12.4 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -78,6 +78,12 @@ This package contains libraries and header files for developing applications tha %doc README-CMake.md README.md %changelog +* Thu Dec 07 2023 Automatic Build System 4.12.4-1mamba +- automatic version update by autodist + +* Wed Dec 06 2023 Automatic Build System 4.12.3-1mamba +- automatic version update by autodist + * Sat May 13 2023 Automatic Build System 4.12.2-1mamba - automatic version update by autodist