Hi Julien,

please mention the LGPL 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.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hi,

Le jeudi 07 juillet 2022 à 18:00 +0000, Thorsten Alteholz a écrit :

please mention the LGPL in your debian/copyright.

Done in a new upload:

coq-hott (8.15-2) unstable; urgency=medium

* Drop an erroneous b-dep on ocamlgraph.
* Complete d/copyright.

-- Julien Puydt <jpuydt@debian.org> Fri, 08 Jul 2022 00:13:17 +0200


Thanks for the review,

J.Puydt

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)