coq_8.2.pl1+dfsg-6_sparc.changes ACCEPTED

[Archive Administrator <installer@ftp-master.debian.org>]

Accepted:
coq-theories_8.2.pl1+dfsg-6_all.deb
  to main/c/coq/coq-theories_8.2.pl1+dfsg-6_all.deb
coq_8.2.pl1+dfsg-6.diff.gz
  to main/c/coq/coq_8.2.pl1+dfsg-6.diff.gz
coq_8.2.pl1+dfsg-6.dsc
  to main/c/coq/coq_8.2.pl1+dfsg-6.dsc
coq_8.2.pl1+dfsg-6_sparc.deb
  to main/c/coq/coq_8.2.pl1+dfsg-6_sparc.deb
coqide_8.2.pl1+dfsg-6_sparc.deb
  to main/c/coq/coqide_8.2.pl1+dfsg-6_sparc.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb
  to main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb


Override entries for your package:
coq-theories_8.2.pl1+dfsg-6_all.deb - optional math
coq_8.2.pl1+dfsg-6.dsc - source math
coq_8.2.pl1+dfsg-6_sparc.deb - optional math
coqide_8.2.pl1+dfsg-6_sparc.deb - optional math
libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb - optional ocaml

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


Thank you for your contribution to Debian.