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-3 Depends: minisat Filename: pool/universe/m/minisat2/minisat2_2.2.1-3_amd64.deb Size: 1894 MD5sum: 8e4ccf37d4209ea1bfe704a17d3e321d SHA1: 9636f719acc294787206f49028da35f88ce42968 SHA256: 66cd1b083e8ea568ca5faa7cd491fc2d718b332b9ed8330088c8e35bcb00ca28 Description: Transitional package for minisat Homepage: http://minisat.se/ Description-md5: 8385de90ce10778a1ebab6a56629355e Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu