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-4
Depends: minisat
Filename: pool/universe/m/minisat2/minisat2_2.2.1-4_i386.deb
Size: 1896
MD5sum: 8404ea65239c3135bbd32e164f5eb783
SHA1: 8ef294893ed70bfe46b313033ded7d2c2609addc
SHA256: 1e86297bfa791ec5708d7ef28ab38e530ff02afd7692f49d623f1b9d923683cb
Description: Transitional package for minisat
Homepage: http://minisat.se/
Description-md5: 8385de90ce10778a1ebab6a56629355e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu