Source
frama-c
Version
20170501+phosphorus+dfsg-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 8 Jan 2018 15:37:02 +0000
Build-Path
/build/frama-c-20170501+phosphorus+dfsg

First submitted
Mon, 8 Jan 2018 16:36:47 +0000
SHA1 of .buildinfo
c54a0cd397622e70d98409f6a3636fc0e6ae1f96

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2_armhf.deb)
SHA1: 3f406b4ec5970ade41eb5e37434a8ba94815f6f1
SHA256: 7813f70433b1af1225db76a511c0d5ee525f014995fc668e0dd4fb2241034245

Size: 11,684,536 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2_armhf.deb)
SHA1: bce4e9b2e1f5f7f00f96db3af908690a3084d41f
SHA256: ff23a52f21059c68d22560d7d98f46726acc3930e34578c61c33331d9ed89938

Size: 22,031,384 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2_armhf.deb
SHA1: 0eb2a20d8c8e8f19309d492f4795a15564a96636
Size: 1,448,420 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_armhf.deb
SHA1: 5792a9a106f3187def21ddacc79b9a71b1054bba
Size: 1,409,544 bytes

Submissions

Submitted
Mon, 8 Jan 2018 16:36:48 +0000
Signed by
0x0F806CEEB6CD263E odxu4c-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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