changes_fields:
Architecture: arm64
Binary: boolector boolector-dbgsym
Changed-By: Vagrant Cascadian <vagrant@debian.org>
Changes: |2-
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:
- name: boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
sha1: edefa5dd2ced31815ad68509cee979da2a0c59db
size: '12324'
- name: boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
sha1: 2ebf567fe785e2e95bddf21690fe4762e0a375ad
size: '5022'
- name: boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
sha1: 65a96c1c10dd5cf50f3bec88c73ffbaa318d8e50
size: '271684'
Checksums-Sha256:
- name: boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
sha256: e5daaf9b9890ca104b9f38562828d348f492c034cec56e4e176acac7e03f9735
size: '12324'
- name: boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
sha256: 89ce7257bee1b7e5aef3c0390e5ad29a7de1cda421e268faaf0dd2c0d66d7353
size: '5022'
- name: boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
sha256: 55527bd36cbfdbd7edeb1b38d203a851d8e50bf62369f5eb79cdf41187abe324
size: '271684'
Closes: '1023886'
Date: Fri, 11 Nov 2022 20:56:12 -0800
Description: |2-
boolector - SMT solver for bit-vectors and arrays
Distribution: sid
Files:
- md5sum: 23623721ad59a02a5faa35139c01e0f5
name: boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb
priority: optional
section: debug
size: '12324'
- md5sum: d045ee3f13f9dcd57548f6efddeba526
name: boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo
priority: extra
section: science
size: '5022'
- md5sum: 0d6587a8793593fee5cfb35915ce2e5b
name: boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
priority: extra
section: science
size: '271684'
Format: '1.8'
Maintainer: Michael Tautschnig <mt@debian.org>
Source: boolector
Urgency: medium
Version: 1.5.118.6b56be4.121013-1.3
type: dpkg