Format: 1.8
Date: Mon, 26 Feb 2024 16:47:37 +0000
Source: minisat2
Binary: minisat minisat-dbgsym
Architecture: arm64
Version: 1:2.2.1-8
Distribution: sid
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 minisat    - Fast and lightweight SAT solver
Changes:
 minisat2 (1:2.2.1-8) unstable; urgency=low
 .
   * Disable parallel builds to fix occasional FTBFS
Checksums-Sha1:
 504466a53b5458257f8b4ac41fbfc5077b4acde0 209360 minisat-dbgsym_2.2.1-8_arm64.deb
 d29c1e35dc2b1b33f87090b2ff7219c81e03a626 4896 minisat2_2.2.1-8_arm64.buildinfo
 7761ffba6b3ac4f2d9130fa6df0893e78a73681f 84360 minisat_2.2.1-8_arm64.deb
Checksums-Sha256:
 07950911dc5a04ffd88708a8b763dab59abd3391e8ebc955d34277edf2a7f758 209360 minisat-dbgsym_2.2.1-8_arm64.deb
 38bfd12e010ed07de48855df1ad385e5fc53f1cda245572372b77b3df41a0e0c 4896 minisat2_2.2.1-8_arm64.buildinfo
 6961229985fcc5fb43d88766c66895253e420e48636540568bf496be2a9c978a 84360 minisat_2.2.1-8_arm64.deb
Files:
 b8cec46675e55d9b8729abea933dcb4a 209360 debug optional minisat-dbgsym_2.2.1-8_arm64.deb
 ef6017c8a0eaa636a0fe64fa589be7cb 4896 science optional minisat2_2.2.1-8_arm64.buildinfo
 30697654d018a6b7abb95b5b1b489115 84360 science optional minisat_2.2.1-8_arm64.deb