coq_8.2-1+dfsg-1_amd64.changes ACCEPTED
Accepted:
coq-theories_8.2-1+dfsg-1_all.deb
to pool/main/c/coq/coq-theories_8.2-1+dfsg-1_all.deb
coq_8.2-1+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2-1+dfsg-1.diff.gz
coq_8.2-1+dfsg-1.dsc
to pool/main/c/coq/coq_8.2-1+dfsg-1.dsc
coq_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coq_8.2-1+dfsg-1_amd64.deb
coq_8.2-1+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2-1+dfsg.orig.tar.gz
coqide_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coqide_8.2-1+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Override entries for your package:
coq-theories_8.2-1+dfsg-1_all.deb - optional math
coq_8.2-1+dfsg-1.dsc - source math
coq_8.2-1+dfsg-1_amd64.deb - optional math
coqide_8.2-1+dfsg-1_amd64.deb - optional math
libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb - optional libdevel
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 517107
Thank you for your contribution to Debian.
Reply to: