Hello community,

here is the log from the commit of package z3 for openSUSE:Factory checked in 
at 2016-09-17 14:40:45
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
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-09-13 22:22:31.000000000 
+0200
+++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes       2016-09-17 
14:40:47.000000000 +0200
@@ -1,0 +2,22 @@
+Fri Sep 16 10:21:56 UTC 2016 - mplus...@suse.com
+
+- Update to version 4.4.1+git.20160914:
+  * addressing max-segment issue for AMD64 + Debug
+  * safe sat clause_offset in debug mode
+  * safe sat clause_offset in debug mode
+  * fixes to consequence generation and cancellation
+  * move from uint_set to hashtable over unsigned to save memory overhead in 
consequence generation
+  * ensure stoi axiom even when no value is present for argument. Issue #731
+  * add missing rewrite rule. Issue #731
+  * fix heisenbug, unintialized variable, issue #720
+  * add patch to deal with bug exposed in issue #721
+  * fix regression in seq-replace rewriting
+  * ensure that status is displayed in SMT-LIB2 compliant way. Issue #734
+  * Create socrates.py
+  * remove special characters
+  * Update socrates.py
+- Rename python bindnigs to follow openSUSE guidelines
+- Change _service to disabled to avoid unnecessary executions
+- Small packaging changes
+
+-------------------------------------------------------------------

Old:
----
  z3-4.4.1+git.20160717.tar.xz

New:
----
  z3-4.4.1+git.20160914.tar.xz

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.KCZs7m/_old  2016-09-17 14:40:48.000000000 +0200
+++ /var/tmp/diff_new_pack.KCZs7m/_new  2016-09-17 14:40:48.000000000 +0200
@@ -16,10 +16,9 @@
 #
 
 
-%define version_unconverted 4.4.1+git.20160717
-
+%define version_unconverted 4.4.1+git.20160914
 Name:           z3
-Version:        4.4.1+git.20160717
+Version:        4.4.1+git.20160914
 Release:        0
 Summary:        Theorem prover from Microsoft Research
 License:        MIT
@@ -31,9 +30,8 @@
 BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
 BuildRequires:  make
-BuildRequires:  python
+BuildRequires:  python-devel
 BuildRequires:  xz
-BuildRoot:      %{_tmppath}/%{name}-%{version}-build
 
 %description
 Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
@@ -60,12 +58,14 @@
 %description devel
 Developmnet files for the Z3 library.
 
-%package python
+%package -n python-%{name}
 Summary:        Python bindings for Z3
 Group:          Development/Languages/Python
 Requires:       %{name} = %{version}
+Provides:       %{name}-python = %{version}
+Obsoletes:      %{name}-python < %{version}
 
-%description python
+%description -n python-%{name}
 Python bindings for the Z3 library.
 
 %prep
@@ -81,8 +81,7 @@
        -DINSTALL_PYTHON_BINDINGS=true \
   -DCMAKE_EXE_LINKER_FLAGS="" \
   -DCMAKE_SHARED_LINKER_FLAGS="" \
-       -DENABLE_EXAMPLE_TARGETS=false \
-  -DCMAKE_BUILD_TYPE=RelWithDebInfo
+  -DENABLE_EXAMPLE_TARGETS=false
 make %{?_smp_mflags}
 
 %install
@@ -105,7 +104,7 @@
 %{_includedir}/z3*.h
 %{_libdir}/libz3.so
 
-%files python
+%files -n python-%{name}
 %defattr(-,root,root)
 %{python_sitelib}/*py
 

++++++ _service ++++++
--- /var/tmp/diff_new_pack.KCZs7m/_old  2016-09-17 14:40:48.000000000 +0200
+++ /var/tmp/diff_new_pack.KCZs7m/_new  2016-09-17 14:40:48.000000000 +0200
@@ -1,14 +1,14 @@
 <services>
-  <service mode="localonly" name="tar_scm">
+  <service mode="disabled" name="tar_scm">
     <param name="url">git://github.com/Z3Prover/z3.git</param>
     <param name="scm">git</param>
     <param name="changesgenerate">enable</param>
     <param name="filename">z3</param>
     <param name="versionformat">4.4.1+git.%cd</param>
   </service>
-  <service mode="localonly" name="recompress">
+  <service mode="disabled" name="recompress">
     <param name="file">*.tar</param>
     <param name="compression">xz</param>
   </service>
-  <service mode="localonly" name="set_version"/>
+  <service mode="disabled" name="set_version"/>
 </services>

++++++ z3-4.4.1+git.20160717.tar.xz -> z3-4.4.1+git.20160914.tar.xz ++++++
++++ 9144 lines of diff (skipped)


Reply via email to