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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 18 May 2017 05:48:49 +0000
Build-Path
/build/1st/frama-c-20161101+silicon+dfsg

First submitted
Thu, 18 May 2017 06:39:15 +0000
SHA1 of .buildinfo
03e74849aba51e722743942523d01c69fa3762e7

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_arm64.deb)
SHA1: ed8f349d61a74db82369ed10946a1bbd55ce8313
SHA256: c608921fa093e86c882ff5d3a753f26271bf8fa82d4c7815a5c076b90cd3df92

Size: 10,698,516 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_arm64.deb)
SHA1: 96264b753a02856a6260258e9ee1dd8937495d1f
SHA256: 2bf1303bc1eda88fcd49a7e11e594bb97729c1ac60870e9266cfc60b8bb42144

Size: 20,301,352 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: 159be669f79738f1e1fdef001e0009daf4f58094
Size: 1,059,670 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: 0b2980d6dd29285c06efc927c296ab89ccec8148
Size: 1,019,150 bytes

Submissions

xdmpjhar
Submitted
Thu, 18 May 2017 06:39:16 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="frama-c_20161101+silicon+dfsg-5=/build/1st/frama-c-20161101+silicon+dfsg"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1484481655"