Package: libcryptominisat5-5.11t64
Architecture: amd64
Version: 5.11.15+dfsg1-1.1build1
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: 1028
Provides: libcryptominisat5-5.11 (= 5.11.15+dfsg1-1.1build1)
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Breaks: libcryptominisat5-5.11 (<< 5.11.15+dfsg1-1.1build1)
Replaces: libcryptominisat5-5.11
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
Size: 447326
MD5sum: dfbc2bf0a694da27f2ec1c3a4338add4
SHA1: 63f7f2298ec9af059fcddb578f770a91da0f68e1
SHA256: ca2451270141bb630451e43a5932539ea3356ea8a61707e8b195590b4dac1373
SHA512: bc4bb0781e7c44ef3ad786ae0ceba4f3ef23b86b97cc4e212239f8b8c48c3fc10acd94e1858e7fd35e4566e42e98f763e3a1d7265ba4d9f6232d13cf84b04a9f
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c