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-04-19 09:58:53 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1941 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Tue Apr 19 09:58:53 2022 rev:31 rq:970659 version:4.8.15 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2022-03-15 19:05:28.064970400 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new.1941/z3.changes 2022-04-19 09:59:52.307689635 +0200 @@ -1,0 +2,8 @@ +Thu Apr 14 13:41:09 UTC 2022 - Ferdinand Thiessen <r...@fthiessen.de> + +- Update to 4.8.15: + * Fix solution soundness bug on QF_ABV formula undetected by + model validator + * Various other bug fixes + +------------------------------------------------------------------- Old: ---- z3-4.8.14.tar.gz New: ---- z3-4.8.15.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.xWtUbf/_old 2022-04-19 09:59:52.719690171 +0200 +++ /var/tmp/diff_new_pack.xWtUbf/_new 2022-04-19 09:59:52.723690176 +0200 @@ -18,7 +18,7 @@ %define sover 4_8 Name: z3 -Version: 4.8.14 +Version: 4.8.15 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.8.14.tar.gz -> z3-4.8.15.tar.gz ++++++ ++++ 26310 lines of diff (skipped)