coq_8.0pl2-2_i386.changes ACCEPTED

[Debian Installer <installer@ftp-master.debian.org>]

Accepted:
coq-libs_8.0pl2-2_all.deb
  to pool/main/c/coq/coq-libs_8.0pl2-2_all.deb
coq7-libs_8.0pl2-2_all.deb
  to pool/main/c/coq/coq7-libs_8.0pl2-2_all.deb
coq_8.0pl2-2.diff.gz
  to pool/main/c/coq/coq_8.0pl2-2.diff.gz
coq_8.0pl2-2.dsc
  to pool/main/c/coq/coq_8.0pl2-2.dsc
coq_8.0pl2-2_i386.deb
  to pool/main/c/coq/coq_8.0pl2-2_i386.deb
coqide_8.0pl2-2_i386.deb
  to pool/main/c/coq/coqide_8.0pl2-2_i386.deb
Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.