Hello community,
here is the log from the commit of package z3 for openSUSE:Factory checked in
at 2016-10-26 13:30:20
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/z3 (Old)
and /work/SRC/openSUSE:Factory/.z3.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3"
Changes:
--------
--- /work/SRC/openSUSE:Factory/z3/z3.changes 2016-10-13 11:30:55.000000000
+0200
+++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes 2016-10-26
13:30:21.000000000 +0200
@@ -1,0 +2,23 @@
+Wed Oct 19 07:06:50 UTC 2016 - jsl...@suse.com
+
+- Update to version 4.4.1+git.20161018:
+ * adding enumeration tests
+ * spacing, unit test
+ * Bugfix for bv2fpa (model) conversion.
+ * Removed unnecessary variables.
+ * [CMake] Fix building the Java bindings.
+ * adding unit test for enumeration types
+ * Tabs
+ * undo breaking commit
+ * Whitespace
+ * Fixed iterator invalidation bug in theory_arith_nl.
+ * add fd solver for finite domain queries
+- remove link-against_libs.patch
+
+-------------------------------------------------------------------
+Mon Oct 17 12:41:56 UTC 2016 - jsl...@suse.com
+
+- make -devel require libz3, not z3
+- add link-against_libs.patch
+
+-------------------------------------------------------------------
Old:
----
z3-4.4.1+git.20161007.tar.xz
New:
----
_servicedata
z3-4.4.1+git.20161018.tar.xz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.cqppXe/_old 2016-10-26 13:30:23.000000000 +0200
+++ /var/tmp/diff_new_pack.cqppXe/_new 2016-10-26 13:30:23.000000000 +0200
@@ -16,9 +16,9 @@
#
-%define version_unconverted 4.4.1+git.20161007
+%define version_unconverted 4.4.1+git.20161018
Name: z3
-Version: 4.4.1+git.20161007
+Version: 4.4.1+git.20161018
Release: 0
Summary: Theorem prover from Microsoft Research
License: MIT
@@ -53,7 +53,7 @@
%package devel
Summary: Development files for Z3
Group: Development/Languages/C and C++
-Requires: %{name} = %{version}
+Requires: libz3-4_4_2_1 = %{version}
%description devel
Developmnet files for the Z3 library.
++++++ _servicedata ++++++
<servicedata>
<service name="tar_scm">
<param name="url">git://github.com/Z3Prover/z3.git</param>
<param
name="changesrevision">3aa7eab3e2c086ec4cffb3b547642ca75f680b8f</param></service></servicedata>++++++
z3-4.4.1+git.20161007.tar.xz -> z3-4.4.1+git.20161018.tar.xz ++++++
++++ 5717 lines of diff (skipped)
