Processing of coq_8.6-4_amd64.changes

coq_8.6-4.dsc has incorrect md5 checksum; deleting it
coq_8.6-4.debian.tar.xz has incorrect size; deleting it


Greetings,

        Your Debian queue daemon (running on host usper.debian.org)

Reply via email to