frama-c_20161101+silicon+dfsg-2_amd64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 22 Dec 2016 12:17:10 +0000
Build-Path
/build/1st/frama-c-20161101+silicon+dfsg

First submitted
Thu, 22 Dec 2016 13:08:59 +0000
SHA1 of .buildinfo
0bb556a4ddff877c51d50a6252f78fb0f79adde8

Binaries

frama-c (frama-c_20161101+silicon+dfsg-2_amd64.deb)
SHA1: ba5291c2776ad002783b6e963ba2a0a6811eb623
SHA256: aaeb9b21d2ccca877b5e12c8e99cca0f10617bd347200b5fae4689572ee0f6a5

Size: 10,489,574 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-2_amd64.deb)
SHA1: 1855ef8b03554e32be51b83224bd3dbe01970fbe
SHA256: a69ac5fc505a42f66a80860c0d5f3bf347c0f6b2a00cfb79c32be29cc142698d

Size: 19,834,834 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-2_amd64.deb
SHA1: d0bcd2e63bede4d959456c09d41f0f456623e3f0
Size: 1,083,192 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-2_amd64.deb
SHA1: 96872db3dba5557f4ed1193318bfb9e52d14a603
Size: 1,013,210 bytes

Submissions

a9zo3wzm
Submitted
Thu, 22 Dec 2016 13:09:00 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482326258"