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
Sun, 1 Jan 2017 07:36:27 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Sun, 1 Jan 2017 07:45:42 +0000
SHA1 of .buildinfo
58cbbb8c91b6948752b86dd3a10b2e92d712b810

Binaries

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

Size: 10,491,680 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-2_amd64.deb)
SHA1: ddd73a0399a71a726271f801e6d7025dc20b2ca9
SHA256: cb856df0651aa6fb09762a797accb28ded1e625c5b70d978d7b4013c247a1490

Size: 19,844,600 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-2_amd64.deb
SHA1: 8fcb6aa0ff31727137c7ddb3ca9643b3d1b4dd19
Size: 1,085,632 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-2_amd64.deb
SHA1: 248af5e4cdcfd157229468363879bb9c1fa37d16
Size: 1,012,054 bytes

Submissions

nqqdkcec
Submitted
Sun, 1 Jan 2017 07:45:43 +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"