Accepted: coq-libs_8.0pl1-3_m68k.deb to pool/main/c/coq/coq-libs_8.0pl1-3_m68k.deb coq7-libs_8.0pl1-3_m68k.deb to pool/main/c/coq/coq7-libs_8.0pl1-3_m68k.deb coq_8.0pl1-3_m68k.deb to pool/main/c/coq/coq_8.0pl1-3_m68k.deb coqide_8.0pl1-3_m68k.deb to pool/main/c/coq/coqide_8.0pl1-3_m68k.deb Thank you for your contribution to Debian.