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: 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