coq_8.0pl1-1_powerpc.changes ACCEPTED
Accepted:
coq-libs_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-1_powerpc.deb
coq7-libs_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-1_powerpc.deb
coq_8.0pl1-1.diff.gz
to pool/main/c/coq/coq_8.0pl1-1.diff.gz
coq_8.0pl1-1.dsc
to pool/main/c/coq/coq_8.0pl1-1.dsc
coq_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-1_powerpc.deb
coq_8.0pl1.orig.tar.gz
to pool/main/c/coq/coq_8.0pl1.orig.tar.gz
coqide_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-1_powerpc.deb
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 230356 250497
Thank you for your contribution to Debian.
Reply to: