boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo (view)

Source
boolector
Version
1.5.118.6b56be4.121013-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 19 Dec 2021 07:01:57 +0000
Build-Path
/build/boolector-1.5.118.6b56be4.121013

First submitted
Sun, 19 Dec 2021 07:07:38 +0000
SHA1 of .buildinfo
ea5162b28eef262005be82e824ac39a3fc596506

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1_armhf.deb)
SHA1: 401844c36328b68991eddfded04b54a2b4ff6412
SHA256: 090444cfe0c4263fe5b1528c7170bffc33314ac162e6f7f9328380366bfc9ca9

Size: 255,972 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1_armhf.deb)
SHA1: 15c4072cc8e41a1230a26996cd47772a31f6eaf4
SHA256: f757a5be75297b05efb7c583379a694562e7dd3c97ef21500715efd566c72341

Size: 15,204 bytes

Other checksums

Submissions

94wzh7pw
Submitted
Sun, 19 Dec 2021 07:07:39 +0000
Signed by
0x58023F0702D8EEDD

Environment


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