Package: libcryptominisat5-dev
Architecture: amd64
Version: 5.11.21+dfsg1-1build1
Multi-Arch: same
Priority: optional
Section: universe/libdevel
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: 86
Depends: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1build1)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb
Size: 17816
MD5sum: 729f3d0977fae77df02684ca650a5f25
SHA1: a8d94cb7cd4ace103f13ab014b6f4e5b1a5d3726
SHA256: 995ffadc6895d5e61bb6e3d809333ee85c37ad5f36896c6e21dce88653dfeef7
SHA512: 09a85b436301e2d3cb286d8501f233234afc152350aea04d90edd8c7deff6d9ec3d295549943ad385c6568dba7e8665a716229dac08425d95076a8e89c06d9a6
Homepage: https://www.msoos.org/
Description: development files for the CryptoMiniSat SAT solver
Description-md5: f8f2f7e4ceaa14d0a5cf6abb1c1eb23b