coq_8.1+dfsg-6_i386.changes ACCEPTED
Accepted:
coq-libs_8.1+dfsg-6_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-6_all.deb
coq_8.1+dfsg-6.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-6.diff.gz
coq_8.1+dfsg-6.dsc
to pool/main/c/coq/coq_8.1+dfsg-6.dsc
coq_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-6_i386.deb
coqide_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-6_i386.deb
Override entries for your package:
coq-libs_8.1+dfsg-6_all.deb - optional math
coq_8.1+dfsg-6.dsc - source math
coq_8.1+dfsg-6_i386.deb - optional math
coqide_8.1+dfsg-6_i386.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 431679
Thank you for your contribution to Debian.
Reply to: