Accepted: coq-doc-html_8.2pl1-1_all.deb to non-free/c/coq-doc/coq-doc-html_8.2pl1-1_all.deb coq-doc-pdf_8.2pl1-1_all.deb to non-free/c/coq-doc/coq-doc-pdf_8.2pl1-1_all.deb coq-doc_8.2pl1-1.debian.tar.gz to non-free/c/coq-doc/coq-doc_8.2pl1-1.debian.tar.gz coq-doc_8.2pl1-1.dsc to non-free/c/coq-doc/coq-doc_8.2pl1-1.dsc coq-doc_8.2pl1-1_all.deb to non-free/c/coq-doc/coq-doc_8.2pl1-1_all.deb coq-doc_8.2pl1.orig.tar.gz to non-free/c/coq-doc/coq-doc_8.2pl1.orig.tar.gz Override entries for your package: coq-doc-html_8.2pl1-1_all.deb - optional non-free/doc coq-doc-pdf_8.2pl1-1_all.deb - optional non-free/doc coq-doc_8.2pl1-1.dsc - source non-free/doc coq-doc_8.2pl1-1_all.deb - optional non-free/doc Announcing to [email protected] Closing bugs: 543545 563669 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
