Package: minisat Priority: extra Section: universe/science Installed-Size: 450 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 Source: minisat2 Version: 1:2.2.1-4 Replaces: minisat2 (<< 1:2.2.1-1) Provides: minisat2 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4) Conflicts: minisat2 (<< 1:2.2.1-1) Filename: pool/universe/m/minisat2/minisat_2.2.1-4_amd64.deb Size: 130944 MD5sum: c918d3b6cdd4d214f8a3fa96c405366a SHA1: ba74596a0d0f3cc58a3d8f89efc16c813b4a375a SHA256: b60be2a9d6d1efbc40dea700c8a371200fee72a5c95176e1e91f597667dee9cf Description: Fast and lightweight SAT solver Homepage: http://minisat.se/ Description-md5: 638e185d46cca4091c1f6ba3a13b4c28 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu