boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.buildinfo (view)

Source
boogie
Version
2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 21 Mar 2021 20:33:34 +0000
Build-Path
/build/boogie-2.3.0.61016+dfsg+3.gbp1f2d6c1

First submitted
Tue, 15 Jan 2019 07:47:48 +0000
SHA1 of .buildinfo
03a4a6669a11f698f9efee9679eaa82a0e3dc18b

Binaries

boogie (boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb)
SHA1: b6f2c5c00f337057adf56858ab0f87ccede8a59a
SHA256: f61d46bd054b953ffb64aceb21a32c026ab1d7aab8a227c091fb4d9fb9c7de46

Size: 16,064 bytes
libboogie-cil (libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb)
SHA1: 4bea878b2f30e4255f4979e3ca733839ace1599e
SHA256: 0125e18cf371ae18781688615edba91fbf6945e98098fbf31e06b2b0c0a7750d

Size: 559,424 bytes

Other checksums

Submissions

sg7oxkoz
Submitted
Tue, 15 Jan 2019 07:47:48 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477792344"