Format: 1.8
Date: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Binary: boolector
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.5.118.6b56be4.121013-1.3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-011.buildd>
Changed-By: Vagrant Cascadian <vagrant@debian.org>
Description:
 boolector  - SMT solver for bit-vectors and arrays
Closes: 1023886
Changes:
 boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * mkconfig: Do not embed architecture of running kernel.
     (Closes: #1023886)
Checksums-Sha1:
 d642139a81ac8997ed697af82baa982bf1b9075d 14410 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_ppc64el.ddeb
 922e3e5eaef0700b55776b8e6d7591503de77370 5784 boolector_1.5.118.6b56be4.121013-1.3_ppc64el.buildinfo
 d385c03d86633855d6d95bd1486519a3ddf1414e 354376 boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb
Checksums-Sha256:
 9e01c863eecd27f66112d74e7bc1e456c677f459505777a2e9de8837e990fb83 14410 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_ppc64el.ddeb
 0889357bd607de5b96935bbcb9c54eb51f37df9cf4153d8f8193f7f425ce8f2e 5784 boolector_1.5.118.6b56be4.121013-1.3_ppc64el.buildinfo
 803b14012f198a85bc1c347d08167915c273797d284d412545b1f5c567c2f586 354376 boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb
Files:
 fcf7561bd668d72c7d044fe6e8fe58a9 14410 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1.3_ppc64el.ddeb
 51f4f6d519da7811f1ca1b9ea93a66e5 5784 science extra boolector_1.5.118.6b56be4.121013-1.3_ppc64el.buildinfo
 32def14156df83205a745ca13f223348 354376 science extra boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb