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-29 16:08:44 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1255 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Thu Oct 29 16:08:44 2026 rev:48 rq:1393523 version:5.3.2 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2026-10-20 12:43:29.591473316 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.1255/z3.changes 2026-10-29 16:11:25.048836848 +0100 @@ -1,0 +2,14 @@ +Thu Oct 29 06:15:29 UTC 2026 - Jiri Slaby <[email protected]> + +- Update to 5.3.2 + * Core/LP/QF_LRA: Optimize simplex, bound propagation, LP kernel, and + rational ops + * Core/Solvers: Fix array solver soundness, lambda rewrites, and + store-equality bugs + * Core/Theories: Fixes for FP MBQI, integer feasibility, finite sets, and + sequences + * Proofs: Add clausal SMT proof logging (F*), extend Lean and finite-field + proofs + * Bindings: Fix and optimize Python FFI, Go/JS (wasm/cgo), and OCaml bindings + +------------------------------------------------------------------- Old: ---- z3-5.3.1.tar.gz New: ---- z3-5.3.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.p3IUb8/_old 2026-10-29 16:11:25.776867379 +0100 +++ /var/tmp/diff_new_pack.p3IUb8/_new 2026-10-29 16:11:25.778867463 +0100 @@ -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.3.1 +Version: 5.3.2 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.p3IUb8/_old 2026-10-29 16:11:25.831869686 +0100 +++ /var/tmp/diff_new_pack.p3IUb8/_new 2026-10-29 16:11:25.834869812 +0100 @@ -1,5 +1,5 @@ -mtime: 1792306092 -commit: 2bdab684a59529f1d903f085ee95e4903908c51d4056a321d9dc4adb2d0150aa +mtime: 1793254678 +commit: f492d66e91143ff84cfc5f10c18494490aa8f696ff59569c3b101291d770f486 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-29 07:17:58.000000000 +0100 @@ -0,0 +1 @@ +.osc ++++++ z3-5.3.1.tar.gz -> z3-5.3.2.tar.gz ++++++ /work/SRC/openSUSE:Factory/z3/z3-5.3.1.tar.gz /work/SRC/openSUSE:Factory/.z3.new.1255/z3-5.3.2.tar.gz differ: char 29, line 1
