Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2021-11-29 17:28:32 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.31177 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Mon Nov 29 17:28:32 2021 rev:28 rq:934483 version:4.8.13 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2021-10-18 22:02:48.830120555 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.31177/z3.changes 2021-12-02 02:29:17.459770947 +0100 @@ -1,0 +2,6 @@ +Sun Nov 28 19:01:14 UTC 2021 - Dirk M??ller <dmuel...@suse.com> + +- update to 4.8.13: + The release integrates various bug fixes and tuning. + +------------------------------------------------------------------- Old: ---- z3-4.8.12.tar.gz New: ---- z3-4.8.13.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.7MqBkg/_old 2021-12-02 02:29:17.871769525 +0100 +++ /var/tmp/diff_new_pack.7MqBkg/_new 2021-12-02 02:29:17.875769511 +0100 @@ -18,7 +18,7 @@ %define sover 4_8 Name: z3 -Version: 4.8.12 +Version: 4.8.13 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.8.12.tar.gz -> z3-4.8.13.tar.gz ++++++ ++++ 25504 lines of diff (skipped)
