Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2023-01-18 13:12:48 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.32243 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Wed Jan 18 13:12:48 2023 rev:36 rq:1059321 version:4.12.0 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2022-09-13 15:11:11.856948100 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.32243/z3.changes 2023-01-18 13:13:26.633517903 +0100 @@ -1,0 +2,9 @@ +Tue Jan 17 15:42:03 UTC 2023 - Andrea Manzini <[email protected]> + +- update to 4.12.0 + * move bound_manager to simplifiers, add bound manager to extract_eqs for solve-eqs + * fix memory leak on proof justifications + * expose parameters to control behavior for + * many bugfixes, see https://github.com/Z3Prover/z3/releases + +------------------------------------------------------------------- Old: ---- z3-4.11.2.tar.gz New: ---- z3-4.12.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.hFTHTp/_old 2023-01-18 13:13:27.149520678 +0100 +++ /var/tmp/diff_new_pack.hFTHTp/_new 2023-01-18 13:13:27.157520721 +0100 @@ -1,7 +1,7 @@ # # spec file for package z3 # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2023 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,9 +16,9 @@ # -%define sover 4_11 +%define sover 4_12 Name: z3 -Version: 4.11.2 +Version: 4.12.0 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -61,6 +61,7 @@ Summary: Python bindings for Z3 Group: Development/Languages/Python Requires: libz3-%{sover} = %{version} +BuildArch: noarch %description -n python3-%{name} Python bindings for the Z3 library. ++++++ z3-4.11.2.tar.gz -> z3-4.12.0.tar.gz ++++++ ++++ 64261 lines of diff (skipped)
