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)