Package: minisat2
Source: minisat2 (1:2.2.1-5)
Version: 1:2.2.1-5+b3
Architecture: i386
Maintainer: Michael Tautschnig <mt@debian.org>
Installed-Size: 13
Depends: minisat
Section: oldlibs
Priority: extra
Homepage: http://minisat.se/
Description: Transitional package for minisat
 This is a transitional package for minisat, and can be safely removed after
 the installation is complete.
