binary_package_name: null
trusted_certs: null
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
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| relates-to | Package upload | boolector_1.5.118.6b56be4.121013-1.3 |
|