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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 3 Feb 2018 13:17:06 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Sun, 1 Jan 2017 06:54:37 +0000
SHA1 of .buildinfo
03833931287633c1f1ba69452d27b188919145c0

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: b52f7126f1ea9ef32071084d50ee4828d8f3bdea
SHA256: 34c7a7359b25998663c002aac133b0f033379462457f281e392a48ce5ada4a6c

Size: 19,350,662 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: a46040cce3c417935a2d261d1cc7131e16e6cccc
Size: 982,492 bytes

Submissions

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

Environment


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