FYI: The status of the minisat2 source package in Debian's testing distribution has changed. Previous version: 070721-3 Current version: 070721-5 -- This email is automatically generated; the Debian Release Team <debian-release@lists.debian.org> is responsible. See http://release.debian.org/testing-watch/ for more information.