binary_package_name: null
trusted_certs: null
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
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
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| relates-to | Package upload | cryptominisat_5.11.21+dfsg1-1 |
|