Processing of coq_8.10.2-1_amd64.changes

coq-theories-dbgsym_8.10.2-1_amd64.deb has incorrect size; deleting it

Greetings,


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

Reply via email to