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-01-31 16:52:25 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.28504 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Package is "z3" Sun Jan 31 16:52:25 2021 rev:25 rq:868100 version:4.8.10 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2020-09-17 15:08:34.452922708 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.28504/z3.changes 2021-01-31 16:52:26.992740620 +0100 @@ -1,0 +2,6 @@ +Fri Jan 29 23:04:20 UTC 2021 - Dirk M��ller <dmueller@suse.com> + +- update to 4.8.10: + - rewritten arithmetic solver replacing legacy arithmetic solver and on by default + +------------------------------------------------------------------- Old: ---- z3-4.8.9.tar.gz New: ---- z3-4.8.10.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.bNaQtW/_old 2021-01-31 16:52:27.648741568 +0100 +++ /var/tmp/diff_new_pack.bNaQtW/_new 2021-01-31 16:52:27.648741568 +0100 @@ -1,7 +1,7 @@ # # spec file for package z3 # -# Copyright (c) 2020 SUSE LLC +# Copyright (c) 2021 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.9 +Version: 4.8.10 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.8.9.tar.gz -> z3-4.8.10.tar.gz ++++++ ++++ 71405 lines of diff (skipped)