Format: 1.8
Date: Fri, 03 May 2024 08:21:56 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.11t64 libcryptominisat5-5.11t64-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: arm64
Version: 5.11.21+dfsg1-1
Distribution: sid
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.11t64 - 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.11.21+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
   * Add patch to fix typos.
Checksums-Sha1:
 6c7d27e690da87080694332b0ed59f6e2973c0c0 1321932 cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 e19c3b1a297843cfdf245d66afa4cb4e70c3f2d2 9499 cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
 4f7dbf93af2108ffce1e73652bc657cf0115ab82 80420 cryptominisat_5.11.21+dfsg1-1_arm64.deb
 08cf941b1d6d29cf92d8268976719462fe4dbc30 7235900 libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
 ffca057adc0469ce8b88590074ca5faa74b92f05 471924 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
 aa94fb53b6746589b9ea7c743a22994233469371 18744 libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
 4cf0c2772dd4224612317e5fd43569fbd98f7ac2 6976144 python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 cfba90297f8d5f4f1f8baa31a22b5342f509c16f 541800 python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
Checksums-Sha256:
 3148321dad08b6bec103815c6a8ca4675af70322b4060a5c7d2c753a053e4160 1321932 cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 3704ba69f0ba17577d1d99fb41f3898fc1274288b88f49d1a0ebb5c8a2ed9ac2 9499 cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
 768f21d5f2aca1353eb63f48adb7ebbfe743db48f0cf1beb64c58c0931e8ef10 80420 cryptominisat_5.11.21+dfsg1-1_arm64.deb
 a4aedee25f8a932175f1011dc93ad7798cd182fa147f2a77ac93c83879bba7f1 7235900 libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
 048eeb57ff24f814f2dcd3c32c396a4f36e4eae0ee4e7473abae8094a069738f 471924 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
 1c85d85f78e5de629602b31f9e4355ce4a7ebd9517dd4586fe830ae235c183e4 18744 libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
 8239e9949d1af6c29ef144a75422e9102cafae02108309128c14b602ec55871d 6976144 python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 48cbab3cbced142b9bfa39a7fc7b875affc29875b42bae06faca2618f1e30aa3 541800 python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
Files:
 4413a71379a2580627609cfbf613a815 1321932 debug optional cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 bcb65a6a39a4f47c0b9e65af9ae66e8d 9499 math optional cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
 6dd81a885d3100b15365a69e7436430a 80420 math optional cryptominisat_5.11.21+dfsg1-1_arm64.deb
 a11479e457945f5228c12903c47a333b 7235900 debug optional libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
 9679ebf3a0084002c3c2675338ddf05f 471924 libs optional libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
 70130ca9fd9e489b8855640a9b7f3049 18744 libdevel optional libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
 e87f0559a6d7f4a905e626df34d7dab2 6976144 debug optional python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
 37a570c0567baf8bd2fe0b670b1f3586 541800 python optional python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb