minisat+_1.0-2_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:
minisat+_1.0-2.debian.tar.gz
  to main/m/minisat+/minisat+_1.0-2.debian.tar.gz
minisat+_1.0-2.dsc
  to main/m/minisat+/minisat+_1.0-2.dsc
minisat+_1.0-2_amd64.deb
  to main/m/minisat+/minisat+_1.0-2_amd64.deb


Override entries for your package:
minisat+_1.0-2.dsc - source science
minisat+_1.0-2_amd64.deb - extra science

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


Thank you for your contribution to Debian.