Package: minisat Architecture: amd64 Version: 1:2.2.1-5build1 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: 403 Provides: minisat2 Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4) Conflicts: minisat2 (<< 1:2.2.1-1) Replaces: minisat2 (<< 1:2.2.1-1) Filename: pool/universe/m/minisat2/minisat_2.2.1-5build1_amd64.deb Size: 81816 MD5sum: be233f4f97deb4957f0e7e0f33b7972c SHA1: 2bc51b04d01e0e9364ab7d77941f6a28bc555b23 SHA256: df04b43091fac71d1126895b912d92e71084fe96f7918ef976be6e2223eada4f Homepage: http://minisat.se/ Description: Fast and lightweight SAT solver Description-md5: 638e185d46cca4091c1f6ba3a13b4c28