Format: 1.8
Date: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Binary: boolector boolector-dbgsym
Architecture: arm64
Version: 1.5.118.6b56be4.121013-1.3
Distribution: sid
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
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:
 edefa5dd2ced31815ad68509cee979da2a0c59db 12324 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
 2ebf567fe785e2e95bddf21690fe4762e0a375ad 5022 boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 65a96c1c10dd5cf50f3bec88c73ffbaa318d8e50 271684 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
Checksums-Sha256:
 e5daaf9b9890ca104b9f38562828d348f492c034cec56e4e176acac7e03f9735 12324 boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
 89ce7257bee1b7e5aef3c0390e5ad29a7de1cda421e268faaf0dd2c0d66d7353 5022 boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 55527bd36cbfdbd7edeb1b38d203a851d8e50bf62369f5eb79cdf41187abe324 271684 boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
Files:
 23623721ad59a02a5faa35139c01e0f5 12324 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
 d045ee3f13f9dcd57548f6efddeba526 5022 science extra boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
 0d6587a8793593fee5cfb35915ce2e5b 271684 science extra boolector_1.5.118.6b56be4.121013-1.3_arm64.deb