boogie_2.4.1+dfsg-0.1_all.buildinfo (view)

Source
boogie
Version
2.4.1+dfsg-0.1
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 15 Mar 2022 01:04:23 +0000
Build-Path
/build/boogie-2.4.1+dfsg

First submitted
Tue, 15 Mar 2022 01:04:44 +0000
SHA1 of .buildinfo
ed701a057f5aad4aff5ff9ccf9204a8b5bee58bc

Binaries

boogie (boogie_2.4.1+dfsg-0.1_all.deb)
SHA1: f3061d95246d381f12bbced4ff460fe20ecb863b
SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07

Size: 16,596 bytes
libboogie-cil (libboogie-cil_2.4.1+dfsg-0.1_all.deb)
SHA1: 3c38d5616b0be3950b520c91ca5615eee7764b71
SHA256: 8202920600bb3b6a0bf9cdb69b578c50242505d7f48472d662b4201c79d898a6

Size: 586,912 bytes

Other checksums

Submissions

qwajtgxg
Submitted
Tue, 15 Mar 2022 01:04:44 +0000
Signed by
0xFD20BBE472905784

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1576502720"