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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 19 Jan 2017 19:46:44 +0000
Build-Path
/build/1st/frama-c-20161101+silicon+dfsg

First submitted
Thu, 19 Jan 2017 21:12:54 +0000
SHA1 of .buildinfo
57037b4b5a5e43fa6dd6e8347fa172498dbbdaf0

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_amd64.deb)
SHA1: 7b3f613dc9c65b36501809f277633b77520a1092
SHA256: 810a50b0118fef76a58aae3ae71cbff3b1400201fdf81a4d7251ec9f6f923312

Size: 10,607,686 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_amd64.deb)
SHA1: b3c4a2f325d379860cc60d6b67d16f7fc04e6a13
SHA256: 95f8b2190317caa011ab82597baa7b9d2e75131db8f71d9697492d97f56e550d

Size: 19,990,018 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
SHA1: 999aa18ab8aef611e60cb85f3a794b873c898b5a
Size: 1,108,566 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
SHA1: df69d141823b74eb1bfa09bf6f04ae67159d176c
Size: 1,057,882 bytes

Submissions

r3prseo7
Submitted
Thu, 19 Jan 2017 21:12:55 +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="1484481655"