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-04-01 19:51:54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/rocq-stdlib (Old) and /work/SRC/openSUSE:Factory/.rocq-stdlib.new.21863 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "rocq-stdlib" Wed Apr 1 19:51:54 2026 rev:2 rq:1343992 version:9.1.0 Changes: -------- --- /work/SRC/openSUSE:Factory/rocq-stdlib/rocq-stdlib.changes 2026-03-23 17:14:12.367765433 +0100 +++ /work/SRC/openSUSE:Factory/.rocq-stdlib.new.21863/rocq-stdlib.changes 2026-04-01 19:53:15.099667686 +0200 @@ -1,0 +2,6 @@ +Tue Mar 31 21:19:48 UTC 2026 - Aaron Puchert <[email protected]> + +- Require ocaml-rpm-macros in build for generation of dependencies. +- Now we no longer need the explicit rocq-devel runtime dependency. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ rocq-stdlib.spec ++++++ --- /var/tmp/diff_new_pack.gTMvhN/_old 2026-04-01 19:53:17.639773192 +0200 +++ /var/tmp/diff_new_pack.gTMvhN/_new 2026-04-01 19:53:17.671774522 +0200 @@ -1,5 +1,5 @@ # -# spec file for package roqc-stdlib +# spec file for package rocq-stdlib # # Copyright (c) 2026 SUSE LLC and contributors # @@ -29,9 +29,10 @@ Source50: rocq-refman-stdlib-%{version}.tar.xz Source51: rocq-stdlib-doc-%{version}.tar.xz Source100: %{name}-rpmlintrc +BuildRequires: fdupes +BuildRequires: ocaml-rpm-macros BuildRequires: rocq >= %{rocq_minver} BuildRequires: rocq-devel >= %{rocq_minver} -BuildRequires: fdupes # The binary format works only with the Rocq version it was built with. Requires: rocq = %{pkg_version rocq} Provides: coq:%{_libdir}/coq/theories/Logic/Classical.vo @@ -46,7 +47,6 @@ Summary: Development files for %{name} Group: Development/Libraries/Other Requires: %{name} = %{version} -Requires: rocq-devel = %{pkg_version rocq-devel} Provides: coq-devel:%{_libdir}/coq/theories/Logic/Classical.v %description devel
