Source
frama-c
Version
20161101+silicon+dfsg-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 15 Jan 2018 20:41:04 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Mon, 15 Jan 2018 21:05:10 +0000
SHA1 of .buildinfo
654893a149648756365b98c921ca2eead304784d

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_armhf.deb)
SHA1: c009c1c9ecbbe3cb0d8738b50c02fb1c17238bd0
SHA256: a5bb3d7bf851a6d972ac44615bc42d4ca83380df29339a44af26f7cf43e35717

Size: 10,933,672 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_armhf.deb)
SHA1: c72915fd7a34639b4c40a636d07df637a5fdf475
SHA256: cf6d2a33e21edcf9201afacdd4a0dfbf5738eb6db71ee109597bedf61050f3b0

Size: 20,789,892 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: e8639da900a94851a6a3eb4caaf4b5d5c0e0c887
Size: 1,151,548 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: 666e1ba557d627b2ac09769be6505776879c27d7
Size: 1,123,480 bytes

Submissions

Submitted
Mon, 15 Jan 2018 21:05:10 +0000
Signed by
0x101CF655F3A0F753 ff4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1484481655"