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-10-18 21:59:40 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1890 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Mon Oct 18 21:59:40 2021 rev:27 rq:925964 version:4.8.12 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2021-06-11 22:31:24.830207125 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.1890/z3.changes 2021-10-18 22:02:48.830120555 +0200 @@ -1,0 +2,6 @@ +Sat Oct 16 18:37:42 UTC 2021 - Dirk M??ller <dmuel...@suse.com> + +- update to 4.8.12: + Release provided to fix git tag discrepancy issues with 4.8.11 + +------------------------------------------------------------------- Old: ---- z3-4.8.11.tar.gz New: ---- z3-4.8.12.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.Cfj7Le/_old 2021-10-18 22:02:49.222120838 +0200 +++ /var/tmp/diff_new_pack.Cfj7Le/_new 2021-10-18 22:02:49.226120841 +0200 @@ -18,7 +18,7 @@ %define sover 4_8 Name: z3 -Version: 4.8.11 +Version: 4.8.12 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.8.11.tar.gz -> z3-4.8.12.tar.gz ++++++ ++++ 4495 lines of diff (skipped)
