Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2026-10-20 12:43:18 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.3698736 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Tue Oct 20 12:43:18 2026 rev:47 rq:1386403 version:5.3.1 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2026-08-17 17:02:54.512333002 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.3698736/z3.changes 2026-10-20 12:43:29.591473316 +0200 @@ -1,0 +2,28 @@ +Sat Oct 17 17:04:42 UTC 2026 - Andrea Manzini <[email protected]> + +- Update to 5.3.1: + * Fix unsound nonlinear-arithmetic exponentiation bounds and + avoid 128-bit division in finite-field inversion + * Extend higher-order quantifier matching, Lean proof + reconstruction, and the F*/Pulse proof checker +- Changes from 5.3.0 (5.2.0 was skipped upstream): + * Add QF_FF (finite field) logic support, a higher-order + quantifier solver, and associative and sequence EUF plugins + * Introduce a generalized Parikh engine and integrate seq.power + into the sequence and legacy string solvers + * Rework recursive-function and lambda handling in MBQI and + improve nonlinear/multi-objective optimization (QF_NRA OMT) + * Rework the CMake build system: relocatable pkg-config metadata, + z3::libz3 target, Z3-shared-targets.cmake export, parallel GCC + LTO linking, and cmake >= 3.26 requirement + * Fix soundness, model-completion, floating-point, sequence, + determinism, and use-after-free issues across solvers + * Many more fixes and improvements; see upstream's release notes + for the full list +- Rename the library subpackage libz3-5_1 to libz3-5_3, following + the upstream SONAME bump from libz3.so.5.1 to libz3.so.5.3 +- Bump cmake BuildRequires floor to >= 3.26 and update the CMake + target file pattern in devel to Z3-shared-targets* +- Make BuildRequires: pkgconfig(gmpxx) unconditional + +------------------------------------------------------------------- Old: ---- z3-5.1.0.tar.gz New: ---- z3-5.3.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.aPGBaK/_old 2026-10-20 12:43:30.501511386 +0200 +++ /var/tmp/diff_new_pack.aPGBaK/_new 2026-10-20 12:43:30.502511428 +0200 @@ -19,7 +19,7 @@ %define python_subpackage_only 1 %define sover %(echo %{version} | sed 's@\\([0-9]*\\)\\.\\([0-9]*\\)\\..*@\\1_\\2@') Name: z3 -Version: 5.1.0 +Version: 5.3.1 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -32,17 +32,13 @@ BuildRequires: %{python_module setuptools >= 44} BuildRequires: %{python_module wheel} BuildRequires: c++_compiler -BuildRequires: cmake >= 3.16 +BuildRequires: cmake >= 3.26 BuildRequires: fdupes BuildRequires: ninja BuildRequires: pkgconfig BuildRequires: python-rpm-macros -%{?python_enable_dependency_generator} -%if 0%{?suse_version} > 1600 BuildRequires: pkgconfig(gmpxx) -%else -BuildRequires: gmp-devel -%endif +%{?python_enable_dependency_generator} %python_subpackages %description @@ -146,7 +142,7 @@ %dir %{_libdir}/cmake/z3/ %{_libdir}/cmake/z3/Z3Config.cmake %{_libdir}/cmake/z3/Z3ConfigVersion.cmake -%{_libdir}/cmake/z3/Z3Targets* +%{_libdir}/cmake/z3/Z3-shared-targets* %files %{python_files z3} %doc README.md ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.aPGBaK/_old 2026-10-20 12:43:30.544513185 +0200 +++ /var/tmp/diff_new_pack.aPGBaK/_new 2026-10-20 12:43:30.548513353 +0200 @@ -1,5 +1,5 @@ -mtime: 1786955373 -commit: 525b4d585d28ee8e998e2c11e9e314f751f5a9fe73e9c2650985a933ad082808 +mtime: 1792306092 +commit: 2bdab684a59529f1d903f085ee95e4903908c51d4056a321d9dc4adb2d0150aa url: https://src.opensuse.org/jirislaby/d-t-s-z3.git revision: factory ++++++ build.specials.obscpio ++++++ ++++++ build.specials.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/.gitignore new/.gitignore --- old/.gitignore 1970-01-01 01:00:00.000000000 +0100 +++ new/.gitignore 2026-10-18 08:48:12.000000000 +0200 @@ -0,0 +1 @@ +.osc ++++++ z3-5.1.0.tar.gz -> z3-5.3.1.tar.gz ++++++ /work/SRC/openSUSE:Factory/z3/z3-5.1.0.tar.gz /work/SRC/openSUSE:Factory/.z3.new.3698736/z3-5.3.1.tar.gz differ: char 27, line 1
