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

Source
boolector
Version
1.5.118.6b56be4.121013-1.1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 9 Feb 2022 15:19:36 +0000
Build-Path
/build/boolector-1.5.118.6b56be4.121013

First submitted
Wed, 9 Feb 2022 15:23:07 +0000
SHA1 of .buildinfo
002d3f0c1e24781237f34f5663cedd1263175cd2

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1.1_armhf.deb)
SHA1: 75bdbbe3d18c26ec01e0745b68634f3c19e2744c
SHA256: 3c26f6be4673b8c516fa5e8bae3d3e47f6473718f614f7562976b73ba553f002

Size: 256,064 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1.1_armhf.deb)
SHA1: 6b6a855122268909987f3b0fca1f44bb8c68fecf
SHA256: 3ee6c5e2dfbe3cee0c6ca7e5c3dcb2008e73d08c28e95673133aeb62338fd9c4

Size: 15,188 bytes

Other checksums

Submissions

gqe7fxyy
Submitted
Wed, 9 Feb 2022 15:23:08 +0000
Signed by
0x28F5F5D5FEE63ABA

Environment


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