Artifact cryptominisat_5.11.21+dfsg1-1

changes_fields:
  Architecture: arm64
  Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.11t64 libcryptominisat5-5.11t64-dbgsym
    libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
  Changed-By: Julien Puydt <jpuydt@debian.org>
  Changes: |2-

     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:
  - name: cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha1: 6c7d27e690da87080694332b0ed59f6e2973c0c0
    size: '1321932'
  - name: cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
    sha1: e19c3b1a297843cfdf245d66afa4cb4e70c3f2d2
    size: '9499'
  - name: cryptominisat_5.11.21+dfsg1-1_arm64.deb
    sha1: 4f7dbf93af2108ffce1e73652bc657cf0115ab82
    size: '80420'
  - name: libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha1: 08cf941b1d6d29cf92d8268976719462fe4dbc30
    size: '7235900'
  - name: libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
    sha1: ffca057adc0469ce8b88590074ca5faa74b92f05
    size: '471924'
  - name: libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
    sha1: aa94fb53b6746589b9ea7c743a22994233469371
    size: '18744'
  - name: python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha1: 4cf0c2772dd4224612317e5fd43569fbd98f7ac2
    size: '6976144'
  - name: python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
    sha1: cfba90297f8d5f4f1f8baa31a22b5342f509c16f
    size: '541800'
  Checksums-Sha256:
  - name: cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha256: 3148321dad08b6bec103815c6a8ca4675af70322b4060a5c7d2c753a053e4160
    size: '1321932'
  - name: cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
    sha256: 3704ba69f0ba17577d1d99fb41f3898fc1274288b88f49d1a0ebb5c8a2ed9ac2
    size: '9499'
  - name: cryptominisat_5.11.21+dfsg1-1_arm64.deb
    sha256: 768f21d5f2aca1353eb63f48adb7ebbfe743db48f0cf1beb64c58c0931e8ef10
    size: '80420'
  - name: libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha256: a4aedee25f8a932175f1011dc93ad7798cd182fa147f2a77ac93c83879bba7f1
    size: '7235900'
  - name: libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
    sha256: 048eeb57ff24f814f2dcd3c32c396a4f36e4eae0ee4e7473abae8094a069738f
    size: '471924'
  - name: libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
    sha256: 1c85d85f78e5de629602b31f9e4355ce4a7ebd9517dd4586fe830ae235c183e4
    size: '18744'
  - name: python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    sha256: 8239e9949d1af6c29ef144a75422e9102cafae02108309128c14b602ec55871d
    size: '6976144'
  - name: python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
    sha256: 48cbab3cbced142b9bfa39a7fc7b875affc29875b42bae06faca2618f1e30aa3
    size: '541800'
  Date: Fri, 03 May 2024 08:21:56 +0200
  Description: |2-

     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)
  Distribution: sid
  Files:
  - md5sum: 4413a71379a2580627609cfbf613a815
    name: cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: debug
    size: '1321932'
  - md5sum: bcb65a6a39a4f47c0b9e65af9ae66e8d
    name: cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo
    priority: optional
    section: math
    size: '9499'
  - md5sum: 6dd81a885d3100b15365a69e7436430a
    name: cryptominisat_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: math
    size: '80420'
  - md5sum: a11479e457945f5228c12903c47a333b
    name: libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: debug
    size: '7235900'
  - md5sum: 9679ebf3a0084002c3c2675338ddf05f
    name: libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: libs
    size: '471924'
  - md5sum: 70130ca9fd9e489b8855640a9b7f3049
    name: libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: libdevel
    size: '18744'
  - md5sum: e87f0559a6d7f4a905e626df34d7dab2
    name: python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: debug
    size: '6976144'
  - md5sum: 37a570c0567baf8bd2fe0b670b1f3586
    name: python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
    priority: optional
    section: python
    size: '541800'
  Format: '1.8'
  Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
  Source: cryptominisat
  Urgency: medium
  Version: 5.11.21+dfsg1-1
type: dpkg