Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2024-02-29 21:50:02 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1770 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Package is "z3" Thu Feb 29 21:50:02 2024 rev:39 rq:1153113 version:4.12.5 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2023-06-16 16:54:55.477735169 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.1770/z3.changes 2024-02-29 21:50:22.630035781 +0100 @@ -1,0 +2,23 @@ +Thu Feb 22 07:59:37 UTC 2024 - Jiri Slaby <jslaby@suse.cz> + +- update to 4.12.5 + * track quantifier instantiation method in proof hint #7080 + * prepare for release + * free memory the clean way + * encapsulate anum functionality + * encapsulate mpz a bit more + * Fixes in Java's User Propagator (#7088) + * remove unused code + * take care of strategy undecided, Nikolaj's comments + * Merge branch 'master' of https://github.com/z3prover/z3 + * force int bound on int columns, call term_is_int() after subst + * pin expression passed to validate_eq + * Update z3_api.h + * fix #7081 + * fix #7085 + * fix #7084 + * change the definition of Gomory row + * and more +- remove 0001-Fix-building-with-gcc-13-6723.patch (upstream) + +------------------------------------------------------------------- Old: ---- 0001-Fix-building-with-gcc-13-6723.patch z3-4.12.2.tar.gz New: ---- z3-4.12.5.tar.gz BETA DEBUG BEGIN: Old: * and more - remove 0001-Fix-building-with-gcc-13-6723.patch (upstream) BETA DEBUG END: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.a4g6h2/_old 2024-02-29 21:50:23.334061735 +0100 +++ /var/tmp/diff_new_pack.a4g6h2/_new 2024-02-29 21:50:23.334061735 +0100 @@ -1,7 +1,7 @@ # # spec file for package z3 # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,14 +18,13 @@ %define sover 4_12 Name: z3 -Version: 4.12.2 +Version: 4.12.5 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT Group: Productivity/Scientific/Other URL: https://github.com/Z3Prover/z3/wiki Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz -Patch0: 0001-Fix-building-with-gcc-13-6723.patch BuildRequires: cmake BuildRequires: gcc-c++ >= 6.0 BuildRequires: gmp-devel ++++++ z3-4.12.2.tar.gz -> z3-4.12.5.tar.gz ++++++ ++++ 63468 lines of diff (skipped)