Format: 1.8
Date: Thu, 19 Nov 2020 18:31:29 +0100
Source: cryptominisat
Binary: cryptominisat libcryptominisat5-5.8 libcryptominisat5-dev python3-cryptominisat
Architecture: arm64
Version: 5.8.0+dfsg1-1build1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-034.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:
 c3788be71c161b41f6f63d8b4ac9ae21c504eee1 1110488 cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 8faf2b866c04806996eca246531388458ec3860b 9620 cryptominisat_5.8.0+dfsg1-1build1_arm64.buildinfo
 87e2a18ac6a68eecbbe94976eca2c19fc8938485 85928 cryptominisat_5.8.0+dfsg1-1build1_arm64.deb
 2b7fe39c95a4e2a30b781e40732e54746a210340 5680940 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 eb0fd8da7bb26330d8aae1ed1a28af4f8ea9130c 378216 libcryptominisat5-5.8_5.8.0+dfsg1-1build1_arm64.deb
 a36f24606e864a736b13fa890e75962e4642add2 12932 libcryptominisat5-dev_5.8.0+dfsg1-1build1_arm64.deb
 5ced1c9a10714439fa2b953303b1676079eed7ec 83816 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 cf9823c85d270348d3355acfc49c4f7fc2d61ea7 17808 python3-cryptominisat_5.8.0+dfsg1-1build1_arm64.deb
Checksums-Sha256:
 746ea02a45c9edaeacdb2e6c2babd698e131df6a08d188a3a1b90eef69326b9c 1110488 cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 c2dd3e3c3c571de79189dac1a702ec8e7da261335c82fb1a36ba2a358c172943 9620 cryptominisat_5.8.0+dfsg1-1build1_arm64.buildinfo
 af69ea9447cde83dd7bf991288aa43e8dd59691e6ee89ec154ded20fa2354c2a 85928 cryptominisat_5.8.0+dfsg1-1build1_arm64.deb
 294fad98159dcd5cb28c1dbe414a9b33683ccbc54a9d37899e0cd6f6cc416fad 5680940 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 732700ce8eb8d4bea40b00d9fa8eda1124daea65caa2c8cdcfa39f54456f2598 378216 libcryptominisat5-5.8_5.8.0+dfsg1-1build1_arm64.deb
 f819ce1a9bde257692c120a0247cecf5a074405d069da0956acd147bfcbaf521 12932 libcryptominisat5-dev_5.8.0+dfsg1-1build1_arm64.deb
 9fb176ce2f7fd4c6585c55b68ae0f04e3de00cbe8330796463e50e4e582b77a3 83816 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 c772add160b126b79a2559289311d894ef913e4a59918a8c06f8e40f20901bd9 17808 python3-cryptominisat_5.8.0+dfsg1-1build1_arm64.deb
Files:
 4b7f287073a4a0e4e95b7183584c51ff 1110488 debug optional cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 b58386ada12417404881d50db7c637ad 9620 math optional cryptominisat_5.8.0+dfsg1-1build1_arm64.buildinfo
 d402fbaa27085f1b9b07521ab1c047f0 85928 math optional cryptominisat_5.8.0+dfsg1-1build1_arm64.deb
 48bd5ebb8de4d9b11cb6e1aca77c9309 5680940 debug optional libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 b65c83f7dfc698bd3632b82278e2ca83 378216 libs optional libcryptominisat5-5.8_5.8.0+dfsg1-1build1_arm64.deb
 9ca861ded6a3582107c84fe9260e6c8c 12932 libdevel optional libcryptominisat5-dev_5.8.0+dfsg1-1build1_arm64.deb
 8315589f01f51137bcef9f3cb8984370 83816 debug optional python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build1_arm64.ddeb
 b05239f35d78fb649d87d47235b1a8c8 17808 python optional python3-cryptominisat_5.8.0+dfsg1-1build1_arm64.deb