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)

Reply via email to