Artifact minisat2_1:2.2.1-8

changes_fields:
  Architecture: arm64
  Binary: minisat minisat-dbgsym
  Changed-By: Michael Tautschnig <mt@debian.org>
  Changes: |2-

     minisat2 (1:2.2.1-8) unstable; urgency=low
     .
       * Disable parallel builds to fix occasional FTBFS
  Checksums-Sha1:
  - name: minisat-dbgsym_2.2.1-8_arm64.deb
    sha1: 504466a53b5458257f8b4ac41fbfc5077b4acde0
    size: '209360'
  - name: minisat2_2.2.1-8_arm64.buildinfo
    sha1: d29c1e35dc2b1b33f87090b2ff7219c81e03a626
    size: '4896'
  - name: minisat_2.2.1-8_arm64.deb
    sha1: 7761ffba6b3ac4f2d9130fa6df0893e78a73681f
    size: '84360'
  Checksums-Sha256:
  - name: minisat-dbgsym_2.2.1-8_arm64.deb
    sha256: 07950911dc5a04ffd88708a8b763dab59abd3391e8ebc955d34277edf2a7f758
    size: '209360'
  - name: minisat2_2.2.1-8_arm64.buildinfo
    sha256: 38bfd12e010ed07de48855df1ad385e5fc53f1cda245572372b77b3df41a0e0c
    size: '4896'
  - name: minisat_2.2.1-8_arm64.deb
    sha256: 6961229985fcc5fb43d88766c66895253e420e48636540568bf496be2a9c978a
    size: '84360'
  Date: Mon, 26 Feb 2024 16:47:37 +0000
  Description: |2-

     minisat    - Fast and lightweight SAT solver
  Distribution: sid
  Files:
  - md5sum: b8cec46675e55d9b8729abea933dcb4a
    name: minisat-dbgsym_2.2.1-8_arm64.deb
    priority: optional
    section: debug
    size: '209360'
  - md5sum: ef6017c8a0eaa636a0fe64fa589be7cb
    name: minisat2_2.2.1-8_arm64.buildinfo
    priority: optional
    section: science
    size: '4896'
  - md5sum: 30697654d018a6b7abb95b5b1b489115
    name: minisat_2.2.1-8_arm64.deb
    priority: optional
    section: science
    size: '84360'
  Format: '1.8'
  Maintainer: Michael Tautschnig <mt@debian.org>
  Source: minisat2
  Urgency: low
  Version: 1:2.2.1-8
type: dpkg