Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package z3 for openSUSE:Factory checked in at 2024-04-29 17:57:55
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/z3 (Old)
and /work/SRC/openSUSE:Factory/.z3.new.1880 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3"
Mon Apr 29 17:57:55 2024 rev:40 rq:1170694 version:4.13.0
Changes:
--------
--- /work/SRC/openSUSE:Factory/z3/z3.changes 2024-02-29 21:50:22.630035781 +0100
+++ /work/SRC/openSUSE:Factory/.z3.new.1880/z3.changes 2024-04-29 17:58:01.090655160 +0200
@@ -1,0 +2,13 @@
+Fri Apr 12 19:53:36 UTC 2024 - Andreas Stieger
+
+- includes changes from 4.13.0:
+ * remove expensive rewrite that coalesces adjacent stores
+ * improved Java use of reference queues
+ * fixes to conditional import of python library
+ * include universe for constants that get removed during
+ pre-processing
+ * code improvements
+ * fix nested callback handling for user propagators
+ * added Julia API
+
+-------------------------------------------------------------------
Old:
----
z3-4.12.5.tar.gz
New:
----
z3-4.13.0.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.6ACTL0/_old 2024-04-29 17:58:02.310699534 +0200
+++ /var/tmp/diff_new_pack.6ACTL0/_new 2024-04-29 17:58:02.326700117 +0200
@@ -16,21 +16,25 @@
#
-%define sover 4_12
+%define sover 4_13
Name: z3
-Version: 4.12.5
+Version: 4.13.0
Release: 0
Summary: Theorem prover from Microsoft Research
License: MIT
Group: Productivity/Scientific/Other
URL: https://github.com/Z3Prover/z3/wiki
Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz
+BuildRequires: c++_compiler
BuildRequires: cmake
-BuildRequires: gcc-c++ >= 6.0
-BuildRequires: gmp-devel
BuildRequires: ninja
-BuildRequires: pkg-config
+BuildRequires: pkgconfig
BuildRequires: python3-devel
+%if 0%{?suse_version} > 1600
+BuildRequires: pkgconfig(gmpxx)
+%else
+BuildRequires: gmp-devel
+%endif
%description
Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
@@ -89,8 +93,10 @@
%install
%cmake_install
-%post -n libz3-%{sover} -p /sbin/ldconfig
-%postun -n libz3-%{sover} -p /sbin/ldconfig
+%check
+%ctest
+
+%ldconfig_scriptlets -n libz3-%{sover}
%files
%license LICENSE.txt
@@ -98,9 +104,11 @@
%{_bindir}/z3
%files -n libz3-%{sover}
+%license LICENSE.txt
%{_libdir}/libz3.so.*
%files devel
+%license LICENSE.txt
%{_includedir}/z3*.h
%{_libdir}/libz3.so
%{_libdir}/pkgconfig/z3.pc
@@ -110,6 +118,7 @@
%{_libdir}/cmake/z3/Z3Targets*
%files -n python3-%{name}
+%license LICENSE.txt
%dir %{python3_sitelib}/%{name}
%{python3_sitelib}/%{name}/*py
++++++ z3-4.12.5.tar.gz -> z3-4.13.0.tar.gz ++++++
++++ 16036 lines of diff (skipped)