frama-c_20161101+silicon+dfsg-5_armhf.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 28 Mar 2017 15:49:36 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg/2nd

First submitted
Tue, 28 Mar 2017 16:15:00 +0000
SHA1 of .buildinfo
24e09ef7fe116ead636b7a4dfb5da26c53bf9081

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_armhf.deb)
SHA1: 960e0859b0eca75a20198ef9ecf40c94ab3b4ccd
SHA256: 0f99c11f5da695881aa94f2b09b3fbafe26361545ff9ea0ce93b54ded1769336

Size: 10,931,408 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_armhf.deb)
SHA1: 743f44ce2379833f681a9b264c7c75f653808bb4
SHA256: dd1daad5e886a146f4ac7173ecaeb2ef15885fd4c00f6de86c6b026da8fadf4d

Size: 20,790,848 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: 6c3850aa813a5e1398ce14802f2f9611c1e6a410
Size: 1,169,474 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: af2e18c3ec18b83c947f184fb39255a27d840ac2
Size: 1,118,550 bytes

Submissions

mg4xtdto
Submitted
Tue, 28 Mar 2017 16:15:01 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


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