Format: 1.8
Date: Tue, 03 Apr 2018 12:34:58 +0000
Source: minisat2
Binary: minisat minisat2
Architecture: arm64
Version: 1:2.2.1-5build1
Distribution: bionic-proposed
Urgency: high
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-037.buildd>
Changed-By: Balint Reczey <rbalint@ubuntu.com>
Description:
 minisat    - Fast and lightweight SAT solver
 minisat2   - Transitional package for minisat
Changes:
 minisat2 (1:2.2.1-5build1) bionic; urgency=high
 .
   * No change rebuild to pick up -fPIE compiler default
Checksums-Sha1:
 fc03cf5b9bc53cbb00b03107b579bdd0d1abeae0 171156 minisat-dbgsym_2.2.1-5build1_arm64.ddeb
 27d82d7e70b24f12cf6f5e3a7229d6c6ecd321b2 5248 minisat2_2.2.1-5build1_arm64.buildinfo
 2dc7143a1490f379a793219795f9af8f22557a2c 2028 minisat2_2.2.1-5build1_arm64.deb
 bd5a7430fa817fa782817eb0b6025249e8da8803 80368 minisat_2.2.1-5build1_arm64.deb
Checksums-Sha256:
 8f703e4fce2c828ea453b49e991995ec46d1b5d9b16b5c925835179fad04e603 171156 minisat-dbgsym_2.2.1-5build1_arm64.ddeb
 b71c9c24161a37955b3e7eb51f84bab9247f68097f28d3562609a8ccaf364c21 5248 minisat2_2.2.1-5build1_arm64.buildinfo
 4d62b1cae36afcd4ea4810044575254db05d009f18c1b7fca7ec3c193e97c027 2028 minisat2_2.2.1-5build1_arm64.deb
 87013be9a88e1babe0eb258fde9a9418cf62b997c0cf59abf2b481a6c1d4b185 80368 minisat_2.2.1-5build1_arm64.deb
Files:
 46e4f45ccf57800da9f13900b6c88961 171156 debug optional minisat-dbgsym_2.2.1-5build1_arm64.ddeb
 e07082ebe354793765d31aa3756fddab 5248 science extra minisat2_2.2.1-5build1_arm64.buildinfo
 0fbb14af7b5ad5023b9432423ce63fc7 2028 oldlibs extra minisat2_2.2.1-5build1_arm64.deb
 76560412811febbe4ac8de6b198458eb 80368 science extra minisat_2.2.1-5build1_arm64.deb
Original-Maintainer: Michael Tautschnig <mt@debian.org>