coq_8.3.pl2+dfsg-2~bpo60+1_amd64.changes ACCEPTED into squeeze-backports
Accepted:
coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
to main/c/coq/coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
coq_8.3.pl2+dfsg-2~bpo60+1.dsc
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1.dsc
coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
coq_8.3.pl2+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl2+dfsg.orig.tar.gz
coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
Override entries for your package:
coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb - optional math
coq_8.3.pl2+dfsg-2~bpo60+1.dsc - optional math
coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb - optional math
coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb - optional math
libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb - optional ocaml
libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb - optional ocaml
Announcing to debian-backports-changes@lists.debian.org
Thank you for your contribution to backports.debian.org archive.
lists.debian.org
Thank you for your contribution to backports.debian.org archive.
Reply to: