From d3998583293c0cc15169e3af5c4b8b48bea92b2a Mon Sep 17 00:00:00 2001 From: Automatic Build System Date: Fri, 5 Jan 2024 20:02:38 +0100 Subject: [PATCH] automatic version update by autodist [release 4.12.2-1mamba;Sat May 13 2023] --- z3.spec | 28 ++++++++++++++++++++++++---- 1 file changed, 24 insertions(+), 4 deletions(-) diff --git a/z3.spec b/z3.spec index dc950de..b0a9de6 100644 --- a/z3.spec +++ b/z3.spec @@ -1,5 +1,5 @@ Name: z3 -Version: 4.8.17 +Version: 4.12.2 Release: 1mamba Summary: A theorem prover from Microsoft Research Group: System/Libraries @@ -7,8 +7,7 @@ Vendor: openmamba Distribution: openmamba Packager: Silvan Calarco URL: https://github.com/Z3Prover -## GITSOURCE https://github.com/Z3Prover/z3.git z3-4.5.0 -Source: https://github.com/Z3Prover/z3.git/master/z3-%{version}.tar.bz2 +Source: https://github.com/Z3Prover/z3.git/z3-%{version}/z3-%{version}.tar.bz2 License: MIT ## AUTOBUILDREQ-BEGIN BuildRequires: glibc-devel @@ -43,7 +42,7 @@ This package contains libraries and header files for developing applications tha %setup -q #-D -T #:<< _EOF -python contrib/cmake/bootstrap.py create +#python contrib/cmake/bootstrap.py create %build #:<< _EOF @@ -79,6 +78,27 @@ python contrib/cmake/bootstrap.py create %doc README-CMake.md README.md %changelog +* Sat May 13 2023 Automatic Build System 4.12.2-1mamba +- automatic version update by autodist + +* Sun Jan 22 2023 Automatic Build System 4.12.1-1mamba +- automatic version update by autodist + +* Sun Jan 15 2023 Automatic Build System 4.12.0-1mamba +- automatic version update by autodist + +* Thu Dec 29 2022 Silvan Calarco 4.11.2-1mamba +- update to 4.11.2 + +* Sun Jul 31 2022 Automatic Build System 4.10.2-1mamba +- automatic version update by autodist + +* Sun Jul 24 2022 Automatic Build System 4.10.1-1mamba +- automatic version update by autodist + +* Tue Jul 12 2022 Automatic Build System 4.9.1-1mamba +- automatic version update by autodist + * Fri May 06 2022 Automatic Build System 4.8.17-1mamba - automatic version update by autodist