Package: minisat2 Priority: extra Section: universe/science Installed-Size: 29 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 Version: 1:2.2.1-4 Depends: minisat Filename: pool/universe/m/minisat2/minisat2_2.2.1-4_amd64.deb Size: 1896 MD5sum: d6cf49cdd744b406328e36b22dbca557 SHA1: 2504409c22c9afe24301c19abc6d04e78a9d0369 SHA256: fc2139099db901c2e35f0a253d2ce50b1fc60bea3f48915d04c7f6384eb99c0c Description: Transitional package for minisat Homepage: http://minisat.se/ Description-md5: 8385de90ce10778a1ebab6a56629355e Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu