Package: libcryptominisat5-5.11t64
Architecture: amd64
Version: 5.11.21+dfsg1-1
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: 1024
Provides: libcryptominisat5-5.11 (= 5.11.21+dfsg1-1)
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Breaks: libcryptominisat5-5.11 (<< 5.11.21+dfsg1-1)
Replaces: libcryptominisat5-5.11
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb
Size: 445192
MD5sum: a5202933aaf29f842a616b905858530a
SHA1: 6ea87840c5e162e870e1f60dd5368b6c46e3e8e2
SHA256: 3d7b8d7a846916ff7aec474517b946c612250384a164d11b978c268c573464de
SHA512: d5ae6f15a29522b91ebf8a429f4dfce4fd8e7710e6c88f6941e336e3ca49cd4f00e4c6de3dc4dd35cfa2e37d816a78cdbacf10f5acd902b30b7c83cc08157f96
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c