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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 3 May 2017 13:09:01 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Wed, 3 May 2017 13:18:48 +0000
SHA1 of .buildinfo
37d221461e5b67e37a9e8ac65e895f3412319cbc

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_i386.deb)
SHA1: 35139bbd051ab419e9bf51e9e0960194fa9028eb
SHA256: b68dc1d2ff81c1d7152e7de5b8a0469db4b8a4528a789791172684fd344b1621

Size: 10,100,504 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_i386.deb)
SHA1: 93b295e1de4890a294b0fa692683c5146e37ee01
SHA256: 95868f590cac2f1125421dc9f1ab9df7d104cc3c045ff5ea0f49cf9a7cd74c3c

Size: 19,505,988 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_i386.deb
SHA1: 04039a6db602456b716d42acabf277896c551101
Size: 1,062,816 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_i386.deb
SHA1: 4cdeb598dc10bdfcf7cf07fdaa0c57bbbb3f8353
Size: 1,031,594 bytes

Submissions

Submitted
Wed, 3 May 2017 13:18:49 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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