coq-interval_4.5.1-1_amd64.changes REJECTED
From
Thorsten Alteholz@21:1/5 to
All on Mon Jul 18 18:20:01 2022
Hi Julien,
according to the file headers, the copyright holders are:
Copyright (C) 2010-2012, ENS de Lyon.
Copyright (C) 2010-2016, Inria.
Copyright (C) 2014-2016, IRIT.
and not the AUTHORS ...
Thorsten
===
Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our concerns.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)