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-01-24 23:09:53 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1938 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Mon Jan 24 23:09:53 2022 rev:29 rq:948353 version:4.8.14 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2021-12-02 02:29:17.459770947 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new.1938/z3.changes 2022-01-24 23:10:21.586607975 +0100 @@ -1,0 +2,9 @@ +Fri Jan 21 15:56:05 UTC 2022 - Avinesh Kumar <avinesh.ku...@suse.com> + +- update to 4.8.14: + * fixes Antimirov derivatives for intersections and unions required + required for solving non-emptiness constraints. + * includes x86 dll in nuget package for Windows. + * exposes additional user propagator functionality + +------------------------------------------------------------------- Old: ---- z3-4.8.13.tar.gz New: ---- z3-4.8.14.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.bSWSnz/_old 2022-01-24 23:10:22.150604121 +0100 +++ /var/tmp/diff_new_pack.bSWSnz/_new 2022-01-24 23:10:22.154604093 +0100 @@ -1,7 +1,7 @@ # # spec file for package z3 # -# Copyright (c) 2021 SUSE LLC +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,7 +18,7 @@ %define sover 4_8 Name: z3 -Version: 4.8.13 +Version: 4.8.14 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.8.13.tar.gz -> z3-4.8.14.tar.gz ++++++ ++++ 9220 lines of diff (skipped)
