Package: minisat2 Priority: extra Section: universe/science Installed-Size: 29 Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Architecture: i386 Version: 1:2.2.1-5 Depends: minisat Filename: pool/universe/m/minisat2/minisat2_2.2.1-5_i386.deb Size: 1996 MD5sum: 70758d131dcc5549a99a89f8c35d0f56 SHA1: ff3bf3c26539c8456be7edf3f8ec636ff0595e50 SHA256: d558c80cc31e60c4716069e2b136e1886e8be3fc1e635dfc5a06136354805d09 Description: Transitional package for minisat Homepage: http://minisat.se/ Description-md5: 8385de90ce10778a1ebab6a56629355e Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu