[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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 to: