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 - [email protected] + +- 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)
