Source
frama-c
Version
20161101+silicon+dfsg-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 1 Jan 2017 06:50:42 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Sun, 1 Jan 2017 06:54:36 +0000
SHA1 of .buildinfo
f641fa2839293796a13fdf87413e379840454ad9

Binaries

frama-c (frama-c_20161101+silicon+dfsg-2_i386.deb)
SHA1: 0c57ca2b52f1cc647ceab9ce614b9d451ca76391
SHA256: 9bff1a5d8b1a0f94030081aa6bdcaa1b726c37b329a20f93c926fb6d418b3f89

Size: 9,985,480 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-2_i386.deb)
SHA1: 0f255ae0195916232ec7e741c43d164906406e4d
SHA256: a56db60c69b1bb18f1622d8f23c91211942c056b42e7c4268a918727a4799810

Size: 19,350,660 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-2_i386.deb
SHA1: 20f957a0948aeb3cf37bc253ca7746dcfd663591
Size: 1,043,614 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-2_i386.deb
SHA1: 1c845ec6cb708309b066a1fdfa2ce84c33e659ed
Size: 982,736 bytes

Submissions

Submitted
Sun, 1 Jan 2017 06:54:37 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482326258"