Source
boolector
Version
1.5.118.6b56be4.121013-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 22 Sep 2021 00:47:13 +0000
Build-Path
/build/1st/boolector-1.5.118.6b56be4.121013

First submitted
Wed, 22 Sep 2021 00:50:49 +0000
SHA1 of .buildinfo
8051572efbdce58d810c0f07ae98e6388f85185e

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1_arm64.deb)
SHA1: b84b6c38d9da1c19bb2254495bc43eec610f896c
SHA256: 56304284fb2b046df66cd03fb3bac36b3b324831701c4ab74e4cf59febec3275

Size: 256,812 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1_arm64.deb)
SHA1: 1cf29e0a78d732fc052d783e39d46858ea7a49b6
SHA256: 2a9885ca54f0b7eb9b6259d16c10627f589d9cc142f585be7ae7ecdccc1ec1b3

Size: 12,440 bytes

Other checksums

Submissions

Submitted
Wed, 22 Sep 2021 00:50:49 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1350388892"