Back to minisat2 PTS page

minisat2 070721-3 MIGRATED to testing



FYI: The status of the minisat2 source package
in Debian's testing distribution has changed.

  Previous version: (not in testing)
  Current version:  070721-3

-- 
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.