Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package ocaml-rpm-macros for
openSUSE:Factory checked in at 2024-09-18 15:26:51
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ocaml-rpm-macros (Old)
and /work/SRC/openSUSE:Factory/.ocaml-rpm-macros.new.29891 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ocaml-rpm-macros"
Wed Sep 18 15:26:51 2024 rev:22 rq:1201435 version:20240909
Changes:
--------
--- /work/SRC/openSUSE:Factory/ocaml-rpm-macros/ocaml-rpm-macros.changes
2023-11-09 21:34:46.059490918 +0100
+++
/work/SRC/openSUSE:Factory/.ocaml-rpm-macros.new.29891/ocaml-rpm-macros.changes
2024-09-18 15:27:19.993966475 +0200
@@ -1,0 +2,5 @@
+Mon Sep 9 09:09:09 UTC 2024 - [email protected]
+
+- Package also *.vo and *.glob, for Coq
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ocaml-rpm-macros.spec ++++++
--- /var/tmp/diff_new_pack.7oXQu8/_old 2024-09-18 15:27:20.477986643 +0200
+++ /var/tmp/diff_new_pack.7oXQu8/_new 2024-09-18 15:27:20.481986810 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ocaml-rpm-macros
#
-# Copyright (c) 2023 SUSE LLC
+# Copyright (c) 2024 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -17,7 +17,7 @@
Name: ocaml-rpm-macros
-Version: 20231101
+Version: 20240909
Release: 0
Summary: RPM macros for building OCaml source packages
License: GPL-2.0-only
@@ -330,6 +330,14 @@
/\\/[^/]+\\.v$/{\
files_devel($0)\
}\
+ # Some Coq files\
+ /\\/[^/]+\\.vo$/{\
+ files_devel($0)\
+ }\
+ # Some Coq files\
+ /\\/[^/]+\\.glob$/{\
+ files_devel($0)\
+ }\
#\
# record unknown paths\
files_unhandled($0)\
