Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package flocq for openSUSE:Factory checked in at 2023-01-27 10:16:36 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/flocq (Old) and /work/SRC/openSUSE:Factory/.flocq.new.32243 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "flocq" Fri Jan 27 10:16:36 2023 rev:4 rq:1061435 version:4.1.0 Changes: -------- --- /work/SRC/openSUSE:Factory/flocq/flocq.changes 2022-07-02 15:34:37.255024839 +0200 +++ /work/SRC/openSUSE:Factory/.flocq.new.32243/flocq.changes 2023-01-27 10:27:30.879111268 +0100 @@ -1,0 +2,7 @@ +Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <[email protected]> + +- Build with ocaml-rpm-macros to get proper Requires and Provides + for flocq-devel. This should prevent incompatibilities with other + Ocaml libraries when building native objects against flocq-devel. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ flocq.spec ++++++ --- /var/tmp/diff_new_pack.HP0Cqx/_old 2023-01-27 10:27:31.259113239 +0100 +++ /var/tmp/diff_new_pack.HP0Cqx/_new 2023-01-27 10:27:31.263113260 +0100 @@ -1,9 +1,9 @@ # # spec file for package flocq # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2023 SUSE LLC # Copyright (c) 2020 Peter Trommler <[email protected]> -# Copyright (c) 2022 Aaron Puchert <[email protected]> +# Copyright (c) 2023 Aaron Puchert <[email protected]> # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -30,6 +30,7 @@ Source100: %{name}-rpmlintrc BuildRequires: coq-devel >= 8.12 BuildRequires: gcc-c++ +BuildRequires: ocaml-rpm-macros BuildRequires: ocamlfind(findlib) # The binary format works only with the Coq version it was built with. Requires: coq = %{pkg_version coq}
