eprover_1.0.004-1_i386.changes ACCEPTED

[Debian Installer]

Accepted:
eprover-doc-html_1.0.004-1_all.deb
  to pool/main/e/eprover/eprover-doc-html_1.0.004-1_all.deb
eprover-examples_1.0.004-1_all.deb
  to pool/main/e/eprover/eprover-examples_1.0.004-1_all.deb
eprover_1.0.004-1.diff.gz
  to pool/main/e/eprover/eprover_1.0.004-1.diff.gz
eprover_1.0.004-1.dsc
  to pool/main/e/eprover/eprover_1.0.004-1.dsc
eprover_1.0.004-1_i386.deb
  to pool/main/e/eprover/eprover_1.0.004-1_i386.deb
eprover_1.0.004.orig.tar.gz
  to pool/main/e/eprover/eprover_1.0.004.orig.tar.gz


Override entries for your package:
eprover-doc-html_1.0.004-1_all.deb - extra doc
eprover-examples_1.0.004-1_all.deb - extra science
eprover_1.0.004-1.dsc - extra science
eprover_1.0.004-1_i386.deb - extra science

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 516545 


Thank you for your contribution to Debian.