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 <andreas.stie...@gmx.de> + +- 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)
