Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2022-05-09 18:43:55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1538 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Mon May 9 18:43:55 2022 rev:32 rq:975667 version:4.8.17 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2022-04-19 09:59:52.307689635 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.1538/z3.changes 2022-05-09 18:44:22.800226935 +0200 @@ -1,0 +2,18 @@ +Fri May 6 09:24:23 UTC 2022 - Ferdinand Thiessen <r...@fthiessen.de> + +- Update to 4.8.17 + * fix breaking bug in python interface for user propagator pop + * Various fixes for z3str3 + * Initial support for nested algebraic datatypes with sequences + * Initiate map/fold operators on sequences + * Initiate maxdiff/mindiff on arrays +- Update to version 4.8.16 + * Initial support for Darwin Arm64 (for M1, M2, .. users) + * Added functionality to user propagator decisions. + * Added options for rc2 and maxres-bin to maxsat + * Improved search for mutex constraints (at-most-1 constraints) + among soft constraints for maxsat derived from approach used + in rc2 sample. + * Various other bugfixes + +------------------------------------------------------------------- Old: ---- z3-4.8.15.tar.gz New: ---- z3-4.8.17.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.Rgpsb9/_old 2022-05-09 18:44:23.344227573 +0200 +++ /var/tmp/diff_new_pack.Rgpsb9/_new 2022-05-09 18:44:23.352227583 +0200 @@ -18,7 +18,7 @@ %define sover 4_8 Name: z3 -Version: 4.8.15 +Version: 4.8.17 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -26,7 +26,7 @@ URL: https://github.com/Z3Prover/z3/wiki Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz BuildRequires: cmake -BuildRequires: gcc-c++ +BuildRequires: gcc-c++ >= 6.0 BuildRequires: gmp-devel BuildRequires: ninja BuildRequires: pkg-config ++++++ z3-4.8.15.tar.gz -> z3-4.8.17.tar.gz ++++++ ++++ 10975 lines of diff (skipped)
