Format: 1.8
Date: Mon, 27 Dec 2021 21:53:28 +0200
Source: boolector
Binary: boolector
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.5.118.6b56be4.121013-1.1
Distribution: jammy-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-002.buildd>
Changed-By: Adrian Bunk <bunk@debian.org>
Description:
 boolector  - SMT solver for bit-vectors and arrays
Closes: 965441 999261
Changes:
 boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * debian/compat: 5 -> 7. (Closes: #965441)
   * debian/rules: Add build-{arch,indep}. (Closes: #999261)
Checksums-Sha1:
 907226a8265345f7da49bb810bf125cc7cfe57a3 14838 boolector-dbgsym_1.5.118.6b56be4.121013-1.1_arm64.ddeb
 953e0a5f8e148f7984c4caf77baa8206c2fe9d5f 5823 boolector_1.5.118.6b56be4.121013-1.1_arm64.buildinfo
 2b26f59bc81da25dd9fde24f251438433d874ae1 299716 boolector_1.5.118.6b56be4.121013-1.1_arm64.deb
Checksums-Sha256:
 a358ff7044eb767d0d9a4e72ade8e8d5ab5a40425938c860d942e90cd5eee8da 14838 boolector-dbgsym_1.5.118.6b56be4.121013-1.1_arm64.ddeb
 52604b7ef0a2b43e733d630c64f10b05ce3f3a21f52ba19738e106569c29c09d 5823 boolector_1.5.118.6b56be4.121013-1.1_arm64.buildinfo
 550ccd88018838888a2dc6d517d91e6ba9c4f5c297cdcde1ebc9626b4531fd72 299716 boolector_1.5.118.6b56be4.121013-1.1_arm64.deb
Files:
 341bbd54181c05b9f0efe043bacfa602 14838 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1.1_arm64.ddeb
 d69d7496b9562c8ece4049ac933ece17 5823 science extra boolector_1.5.118.6b56be4.121013-1.1_arm64.buildinfo
 6d6cc2ca0d57b34d8bc54c54d4d47b9d 299716 science extra boolector_1.5.118.6b56be4.121013-1.1_arm64.deb