Package: libcryptominisat5-5.8
Architecture: amd64
Version: 5.8.0+dfsg1-2
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cryptominisat
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: 893
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 11)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
Size: 386708
MD5sum: c55ef6fa6661a37b95398e1d2168b1d9
SHA1: d8db6100c3c54448ece23262d8a413925105107c
SHA256: c0e9e738ce1f26974226ca5578c1482eacbcf013021b8051410bb862a3480d3a
SHA512: 50cd2e3028c5ce41c2801d57947f667902407b269f3e331c6bb7ae5e7e616c8756650b9bc082a9bd91b593a6fe2a88b53b648dae194328c2936183955b7d2086
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c