Accepted: coq-doc-html_8.3pl4-1_all.deb to non-free/c/coq-doc/coq-doc-html_8.3pl4-1_all.deb coq-doc-pdf_8.3pl4-1_all.deb to non-free/c/coq-doc/coq-doc-pdf_8.3pl4-1_all.deb coq-doc_8.3pl4-1.debian.tar.gz to non-free/c/coq-doc/coq-doc_8.3pl4-1.debian.tar.gz coq-doc_8.3pl4-1.dsc to non-free/c/coq-doc/coq-doc_8.3pl4-1.dsc coq-doc_8.3pl4-1_all.deb to non-free/c/coq-doc/coq-doc_8.3pl4-1_all.deb coq-doc_8.3pl4.orig.tar.gz to non-free/c/coq-doc/coq-doc_8.3pl4.orig.tar.gz Changes: coq-doc (8.3pl4-1) unstable; urgency=low . * New upstream release Override entries for your package: coq-doc-html_8.3pl4-1_all.deb - optional non-free/doc coq-doc-pdf_8.3pl4-1_all.deb - optional non-free/doc coq-doc_8.3pl4-1.dsc - source non-free/doc coq-doc_8.3pl4-1_all.deb - optional non-free/doc Announcing to [email protected] Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
