Package: minisat2 Architecture: i386 Version: 1:2.2.1-5build1 Priority: extra Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 12 Depends: minisat Filename: pool/universe/m/minisat2/minisat2_2.2.1-5build1_i386.deb Size: 2028 MD5sum: 5ef9e73c30727a1605c843d799c17bdd SHA1: 4f4af6ce9ee3b8223bd81eab298e7cf30d7e6984 SHA256: ad0847c2cde9cfb71033b6b65accccbbf4ff0acf61c994c69655d5716c15b1e3 Homepage: http://minisat.se/ Description: Transitional package for minisat Description-md5: 8385de90ce10778a1ebab6a56629355e