Processing of coq_8.6-4_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.6-4_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Fri, 30 Dec 2016 00:26:55 +0000
Message-id: <[🔎] E1cMl27-0002zM-9J@usper.debian.org>

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:

Prev by Date: failed mipsel build of coq 8.6-2
Next by Date: Processing of coq_8.6-4_amd64.changes
Previous by thread: failed mipsel build of coq 8.6-2
Next by thread: Processing of coq_8.6-4_amd64.changes
Index(es):
- Date
- Thread