Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package coq for openSUSE:Factory checked in
at 2023-01-27 10:16:34
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/coq (Old)
and /work/SRC/openSUSE:Factory/.coq.new.32243 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq"
Fri Jan 27 10:16:34 2023 rev:20 rq:1061434 version:8.16.1
Changes:
--------
--- /work/SRC/openSUSE:Factory/coq/coq.changes 2022-11-27 12:53:15.379286031
+0100
+++ /work/SRC/openSUSE:Factory/.coq.new.32243/coq.changes 2023-01-27
10:26:39.466844577 +0100
@@ -1,0 +2,7 @@
+Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <aaronpuch...@alice-dsl.net>
+
+- Build with ocaml-rpm-macros to get proper Requires and Provides
+ for coq-devel. This should prevent incompatibilities with other
+ Ocaml libraries when building native objects against coq-devel.
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ coq.spec ++++++
--- /var/tmp/diff_new_pack.cqYRVB/_old 2023-01-27 10:26:40.074847731 +0100
+++ /var/tmp/diff_new_pack.cqYRVB/_new 2023-01-27 10:26:40.082847772 +0100
@@ -1,8 +1,9 @@
#
# spec file for package coq
#
-# Copyright (c) 2022 SUSE LLC
+# Copyright (c) 2023 SUSE LLC
# Copyright (c) 2012-2018 Peter Trommler, peter.trommler at ohm-hochschule.de
+# Copyright (c) 2023 Aaron Puchert <aaronpuch...@alice-dsl.net>
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -38,6 +39,7 @@
BuildRequires: ocaml >= 4.09.0
BuildRequires: ocaml-camlp5-devel >= 5.08
BuildRequires: ocaml-dune >= 2.5.1
+BuildRequires: ocaml-rpm-macros
BuildRequires: ocamlfind(findlib)
BuildRequires: ocamlfind(zarith)
%if %{with ide}
