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

[Thorsten Alteholz <ftpmaster@ftp-master.debian.org>]

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.

Attachment: pgpJhgmgv5BWz.pgp
Description: PGP signature