Package: minisat2 Architecture: amd64 Version: 1:2.2.1-5build1 Priority: extra Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 12 Depends: minisat Filename: pool/universe/m/minisat2/minisat2_2.2.1-5build1_amd64.deb Size: 2032 MD5sum: d56b5fdfeb7ff986a1bc9d0d2eb08e11 SHA1: e107539166032ae57af69b605cffd744cfd2be9a SHA256: 158f8e2d2ddb7ad52b1b674a7233076450f17ed79cda46cbc0999b9b873cb03a Homepage: http://minisat.se/ Description: Transitional package for minisat Description-md5: 8385de90ce10778a1ebab6a56629355e