coq-doc_8.3pl3-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters <ftpmaster@ftp-master.debian.org>]

Accepted:
coq-doc-html_8.3pl3-1_all.deb
  to non-free/c/coq-doc/coq-doc-html_8.3pl3-1_all.deb
coq-doc-pdf_8.3pl3-1_all.deb
  to non-free/c/coq-doc/coq-doc-pdf_8.3pl3-1_all.deb
coq-doc_8.3pl3-1.debian.tar.gz
  to non-free/c/coq-doc/coq-doc_8.3pl3-1.debian.tar.gz
coq-doc_8.3pl3-1.dsc
  to non-free/c/coq-doc/coq-doc_8.3pl3-1.dsc
coq-doc_8.3pl3-1_all.deb
  to non-free/c/coq-doc/coq-doc_8.3pl3-1_all.deb
coq-doc_8.3pl3.orig.tar.gz
  to non-free/c/coq-doc/coq-doc_8.3pl3.orig.tar.gz


Override entries for your package:
coq-doc-html_8.3pl3-1_all.deb - optional non-free/doc
coq-doc-pdf_8.3pl3-1_all.deb - optional non-free/doc
coq-doc_8.3pl3-1.dsc - source non-free/doc
coq-doc_8.3pl3-1_all.deb - optional non-free/doc

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.