Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package rocq-stdlib for openSUSE:Factory checked in at 2026-08-21 16:56:29 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/rocq-stdlib (Old) and /work/SRC/openSUSE:Factory/.rocq-stdlib.new.1258 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "rocq-stdlib" Fri Aug 21 16:56:29 2026 rev:3 rq:1372679 version:9.2.0 Changes: -------- --- /work/SRC/openSUSE:Factory/rocq-stdlib/rocq-stdlib.changes 2026-04-01 19:53:15.099667686 +0200 +++ /work/SRC/openSUSE:Factory/.rocq-stdlib.new.1258/rocq-stdlib.changes 2026-08-21 16:57:58.643874327 +0200 @@ -1,0 +2,9 @@ +Tue Aug 20 21:54:21 UTC 2026 - Aaron Puchert <[email protected]> + +- Update to version 9.2.0. + * Changed levels of several notations. + * Fixed lemma bits.skipn_app in Zmod.Bits to actually describe + the interaction between the titular functions. +- Fix spurious executable permissions in documentation. + +------------------------------------------------------------------- Old: ---- rocq-refman-stdlib-9.1.0.tar.xz rocq-stdlib-9.1.0.tar.gz rocq-stdlib-doc-9.1.0.tar.xz New: ---- rocq-refman-stdlib-9.2.0.tar.xz rocq-stdlib-9.2.0.tar.gz rocq-stdlib-doc-9.2.0.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ rocq-stdlib.spec ++++++ --- /var/tmp/diff_new_pack.dEeJMR/_old 2026-08-21 16:58:00.008922749 +0200 +++ /var/tmp/diff_new_pack.dEeJMR/_new 2026-08-21 16:58:00.009922784 +0200 @@ -19,7 +19,7 @@ %global rocq_minver 9.0.0 Name: rocq-stdlib -Version: 9.1.0 +Version: 9.2.0 Release: 0 Summary: Standard library for the Rocq prover Group: Productivity/Scientific/Math @@ -130,6 +130,9 @@ %fdupes %{buildroot}%{_docdir}/rocq +# Fix spurious executable permissions in documentation. +find %{buildroot}%{_docdir}/rocq/refman-stdlib -type f -executable -exec chmod -v a-x {} + + %files -f dir.list -f runtime.list %license LICENSE ++++++ rocq-refman-stdlib-9.1.0.tar.xz -> rocq-refman-stdlib-9.2.0.tar.xz ++++++ ++++ 21282 lines of diff (skipped) ++++++ rocq-stdlib-9.1.0.tar.gz -> rocq-stdlib-9.2.0.tar.gz ++++++ ++++ 25708 lines of diff (skipped) ++++++ rocq-stdlib-doc-9.1.0.tar.xz -> rocq-stdlib-doc-9.2.0.tar.xz ++++++ ++++ 139636 lines of diff (skipped)
