From 606f6cf3da3c4e2673b178499b640523570633fb Mon Sep 17 00:00:00 2001 From: Automatic Build System Date: Sat, 9 Mar 2024 11:50:55 +0100 Subject: [PATCH] automatic version update by autodist [release 4.13.0-1mamba;Fri Mar 08 2024] --- z3.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/z3.spec b/z3.spec index 539cabb..fca594f 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.12.6 +Version: 4.13.0 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 +* Fri Mar 08 2024 Automatic Build System 4.13.0-1mamba +- automatic version update by autodist + * Tue Feb 27 2024 Automatic Build System 4.12.6-1mamba - automatic version update by autodist