Format: 1.8
Date: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Binary: boolector
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.5.118.6b56be4.121013-1.3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-002.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:
 f06d4baea19fa4d6658ab2b0d3096efa960c203a 13598 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.ddeb
 7c116b7b84b03cd2a5901ef58dc89a387d2f8e46 5794 boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 dc96a04de204f52417ab72ba1257478dc941aae3 304714 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
Checksums-Sha256:
 54cc5410704ae8d25b2d93483b603a5414fc5bfbfe1e3090f697988c35a3550f 13598 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.ddeb
 a192f9fe7fdcfaaaccb34d37ab63ad3b3eacd56cfc46bedf0ae4e9fba9463980 5794 boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 94844723d13d0ee1fcfc711d90e50c41ae0a59b40a32189603cc15c6606d2d07 304714 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
Files:
 4b1acd4cac0178a7dffef51ac70ae2d9 13598 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.ddeb
 ba7d8ec252579ac3e05d65902ecb7259 5794 science extra boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 d9b1602b6f58701c26347e17e7f0c216 304714 science extra boolector_1.5.118.6b56be4.121013-1.3_arm64.deb