Package: minisat
Architecture: amd64
Version: 1:2.2.1-8build1
Priority: extra
Section: universe/science
Source: minisat2
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: 398
Provides: minisat2
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Filename: pool/universe/m/minisat2/minisat_2.2.1-8build1_amd64.deb
Size: 88062
MD5sum: a09fbad7e8cb1c7f85b851c171a5db16
SHA1: dcfe681c445f553943ca1d3bd1231924fcceaa0f
SHA256: 5a5b0ca60d614caf9ab4c788e80358c95ce5f14277742f9f0a4e1305cae964ef
SHA512: 469117692c720c0397e6d54c07160ad84e1cd32cfabf90f61abc96b606b575b6dc00df27d3392e98165dff05d2768f9b3699c160fb081f2157e5ee0838147859
Homepage: http://minisat.se/
Description: Fast and lightweight SAT solver
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28