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-11-13 18:31:26 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1251 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Fri Nov 13 18:31:26 2026 rev:51 rq:1397013 version:5.4.1 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2026-11-11 16:29:38.296716605 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new.1251/z3.changes 2026-11-13 18:35:12.004966357 +0100 @@ -1,0 +2,14 @@ +Thu Nov 12 07:02:20 UTC 2026 - Jiri Slaby <[email protected]> + +- Update to 5.4.1 + * Handle dual polarity for generated universal quantifiers (#11644) + * Handle canceled model searches in Spacer global subsumption + (#11635) + * Replay guarded integer and real product equality clauses in F* proof + checker (#11629) + * Remove timing-out arithmetic alias SAT control and stabilize native + checker regressions + * Update NFV CI workflows for single-audit PR policy and admission + permissions (#11630, #11642) + +------------------------------------------------------------------- Old: ---- z3-5.4.0.tar.gz New: ---- z3-5.4.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.yXKLAi/_old 2026-11-13 18:35:15.934132710 +0100 +++ /var/tmp/diff_new_pack.yXKLAi/_new 2026-11-13 18:35:15.937132836 +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.4.0 +Version: 5.4.1 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.yXKLAi/_old 2026-11-13 18:35:15.983134784 +0100 +++ /var/tmp/diff_new_pack.yXKLAi/_new 2026-11-13 18:35:15.987134954 +0100 @@ -1,5 +1,5 @@ -mtime: 1794383668 -commit: 6194fa67f4142ff0dbbedf71c925499e84b5f01dc71b5ec29e3a667cbf70eea3 +mtime: 1794467191 +commit: d73c24eadece196b54fd02d41c8744615ee22d3ad129b3b149dbe5e804bacc70 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-11-12 08:06:31.000000000 +0100 @@ -0,0 +1 @@ +.osc ++++++ z3-5.4.0.tar.gz -> z3-5.4.1.tar.gz ++++++ /work/SRC/openSUSE:Factory/z3/z3-5.4.0.tar.gz /work/SRC/openSUSE:Factory/.z3.new.1251/z3-5.4.1.tar.gz differ: char 27, line 1
