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

[Debian FTP Masters]

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


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

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


Thank you for your contribution to Debian.