binary_package_name: null
trusted_certs: null
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
Relation | Direction | Type | Name | |
---|---|---|---|---|
relates-to | Package upload | minisat2_1:2.2.1-8 |
|