FYI: The status of the picosat source package in Debian's testing distribution has changed. Previous version: (not in testing) Current version: 632-1 -- 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.