Format: 1.8
Date: Thu, 19 Nov 2020 18:31:29 +0100
Source: cryptominisat
Binary: cryptominisat libcryptominisat5-5.8 libcryptominisat5-dev python3-cryptominisat
Architecture: ppc64el
Version: 5.8.0+dfsg1-1build1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-020.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.8 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Changes:
 cryptominisat (5.8.0+dfsg1-1build1) hirsute; urgency=medium
 .
   * No-change rebuild to build with python3.9 as default.
Checksums-Sha1:
 7536338c3ffb9bb27f05b65c89a6431cbcb6e49c 1228248 cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 4e8d82dbdae592270b5c7efe1b7d11b047141e0f 9706 cryptominisat_5.8.0+dfsg1-1build1_ppc64el.buildinfo
 d9bc1e41db65db1d55effe6bdfa3f5958be07031 98012 cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb
 1f972b389ff40402e3894c666aa653e8299c785d 6120280 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 ca960d3bce5df229eb033ffd1084513d44389636 489920 libcryptominisat5-5.8_5.8.0+dfsg1-1build1_ppc64el.deb
 4de1ca46101a606c9e68ea87927cb41a211bb6b5 12936 libcryptominisat5-dev_5.8.0+dfsg1-1build1_ppc64el.deb
 713773dd6ec6d7371cc1c1b4e2bd3c762a34150e 84744 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 f289e6139c5e7f06c56655a4e1f97346eefbbcfb 19084 python3-cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb
Checksums-Sha256:
 d13096c3333b4120d90900f246cd96f8b8d1ed9dd2329e3e364255f45790d0c7 1228248 cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 f542661a81e757ba592af29114822edc79f14300c9037b8e5024a395b4016c6d 9706 cryptominisat_5.8.0+dfsg1-1build1_ppc64el.buildinfo
 5076a195595a1428943e5c9dd37dc2d334f1faa4ed60b0390717471ebdf37cfa 98012 cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb
 0a02db94428a298ef80514cae74dbb63f33918161b57a8f1f9b4605fcc1af473 6120280 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 1a27cd37da558476ebe9be2b33e64e1e2dbc04ffdd58ea0c8b41169ddc576dd9 489920 libcryptominisat5-5.8_5.8.0+dfsg1-1build1_ppc64el.deb
 85368722814569c25788102daec682d766dbd5dae2190da3035db298b6a9af06 12936 libcryptominisat5-dev_5.8.0+dfsg1-1build1_ppc64el.deb
 fbfeee87cd6feb3bf81c8dc66a23ef0798ca4234f60268ef4f060905df11491d 84744 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 1e16a7fdb6815cf923dd4e7f17442abccdccfbe22d6231b92c2913ccaee635f6 19084 python3-cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb
Files:
 0c53c127a0db46efbb66ff5763f4c5a8 1228248 debug optional cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 ca760aa420f4f2c0573a1b76777e8c56 9706 math optional cryptominisat_5.8.0+dfsg1-1build1_ppc64el.buildinfo
 a5b94c4c28984bb7381ee5665214e83a 98012 math optional cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb
 5f764c017eacfd1ad0b7f6e015a15c34 6120280 debug optional libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 ca9d70f1be5943ae1c2f92d105de6c4e 489920 libs optional libcryptominisat5-5.8_5.8.0+dfsg1-1build1_ppc64el.deb
 e02809da48ec5feb961b0009347d7162 12936 libdevel optional libcryptominisat5-dev_5.8.0+dfsg1-1build1_ppc64el.deb
 834ca50b9c5a58a922ae3904c42d79fe 84744 debug optional python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_ppc64el.ddeb
 0450d262ab790a9258238fbb5319337f 19084 python optional python3-cryptominisat_5.8.0+dfsg1-1build1_ppc64el.deb