Package: cryptominisat
Architecture: amd64
Version: 5.11.21+dfsg1-1
Multi-Arch: foreign
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 288
Depends: libc6 (>= 2.38), libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.11.21+dfsg1-1_amd64.deb
Size: 93662
MD5sum: 8ae0b4f581f49f2fb81548cf5625165e
SHA1: 5cd5f52306b6d59945e496c42d911d5702f74755
SHA256: 458289e69b08ec9eb4dfa0e7691d1d8772ab675e35dd3df97df4850b9256db2a
SHA512: 9319b2a69f0cad4ce5585bdc5a1d4d6c55ae718717ab644e210d05597220d02cef821f2f460c3e93e36ccd152fcfe390d123f73f2ab7d5e0fd847f0b5c4e0569
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158