boolector_1.5.118.6b56be4.121013-1.3_arm64.buildinfo (view)

Source
boolector
Version
1.5.118.6b56be4.121013-1.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 8 Dec 2023 00:32:21 +0000
Build-Path
/build/reproducible-path/boolector-1.5.118.6b56be4.121013

First submitted
Fri, 8 Dec 2023 00:34:03 +0000
SHA1 of .buildinfo
3dbe77bdc5e1e322f772c991f224c51adc993c9f

Binaries

boolector (boolector_1.5.118.6b56be4.121013-1.3_arm64.deb)
SHA1: 602e8d5dc59595cb3da48dca9d5d5cec6ff21184
SHA256: 254845ff5dae897c95e4c16e73f0c2b7f980d0bf3709c6f41c72f359298557b2

Size: 265,556 bytes
boolector-dbgsym (boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb)
SHA1: b8ae48a8125bba752a75a6533b8b8e4b1f0a21f2
SHA256: c9f5ca43b60586f6e81e3996c80ffd07991f4f7cf127f354a0edbb856fba94d8

Size: 12,372 bytes

Other checksums

Submissions

dbsmbuez
Submitted
Fri, 8 Dec 2023 00:34:03 +0000
Signed by
0xBF8D76BED99F2426

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1668228972"