Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package flocq for openSUSE:Factory checked in at 2022-07-02 15:34:34 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/flocq (Old) and /work/SRC/openSUSE:Factory/.flocq.new.1548 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "flocq" Sat Jul 2 15:34:34 2022 rev:3 rq:986285 version:4.1.0 Changes: -------- --- /work/SRC/openSUSE:Factory/flocq/flocq.changes 2022-06-03 14:16:58.593340671 +0200 +++ /work/SRC/openSUSE:Factory/.flocq.new.1548/flocq.changes 2022-07-02 15:34:37.255024839 +0200 @@ -1,0 +2,5 @@ +Thu Jun 30 12:56:30 UTC 2022 - Bernhard Wiedemann <bwiedem...@suse.com> + +- Add Git-Clone URL + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ flocq.spec ++++++ --- /var/tmp/diff_new_pack.xUsvQh/_old 2022-07-02 15:34:39.783028632 +0200 +++ /var/tmp/diff_new_pack.xUsvQh/_new 2022-07-02 15:34:39.787028638 +0200 @@ -25,6 +25,7 @@ Group: Productivity/Scientific/Math License: LGPL-3.0-or-later URL: https://flocq.gitlabpages.inria.fr/ +#Git-Clone: https://gitlab.inria.fr/flocq/flocq.git Source0: https://flocq.gitlabpages.inria.fr/releases/%{name}-%{version}.tar.gz Source100: %{name}-rpmlintrc BuildRequires: coq-devel >= 8.12
