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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 30 Aug 2018 08:48:08 +0000
Build-Path
/build/1st/frama-c-20161101+silicon+dfsg

First submitted
Fri, 28 Jul 2017 02:56:54 +0000
SHA1 of .buildinfo
04b818e7ef8ca9b2b2590318803633493bf22b1b

Binaries

frama-c (frama-c_20161101+silicon+dfsg-6_amd64.deb)
SHA1: 774231e6438b0135dbfbcadd74a1720eae456077
SHA256: 8ea2b2c4ec67d7ebfdce5ee6116a7e48a85f3acbd5d7bac901b480d031125c28

Size: 10,631,874 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-6_amd64.deb)
SHA1: 0b016d166acd71f6bf1a86b3622f3c961b3c5d43
SHA256: 935c6106208820387bdee5159690dcb7d69b1bc787ea4c85e63165f709e53796

Size: 20,005,904 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb
SHA1: 69a7d7422f141d8b46003467d6de68e12670ef87
Size: 1,094,262 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb
SHA1: 5b0ffff595bd961c211cb4c6cd02a84f6865fcc3
Size: 1,058,286 bytes

Submissions

n7rtxacn
Submitted
Fri, 28 Jul 2017 02:56:54 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="frama-c_20161101+silicon+dfsg-6=/build/1st/frama-c-20161101+silicon+dfsg"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1501175020"