coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED

[Thorsten Alteholz]

Hi,

please also mention the GPL-3+ of coq-serapi-8.19.0-0.19.3/sertop/sertop.el in 
your debian/coypright.

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.

pgpitBnQR5kSI.pgp
Description: PGP signature