coq-math-classes_8.15.0-1_amd64.changes REJECTED

[Thorsten Alteholz]

Hi Julien,

please mention the LGPL and INRIA in your debian/copyright.

Thanks!
 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.