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, 16 Aug 2018 20:50:12 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Fri, 14 Jul 2017 14:27:51 +0000
SHA1 of .buildinfo
3176542ebf521a8366124358025d558af80a39fb

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_amd64.deb)
SHA1: 2ea3c5f07de012cb6dca0f843591cc8eb487703f
SHA256: 5d4cbb5b1a8791e9c7cde974a34a08915c081885195839c701dea2811e72ad34

Size: 10,608,786 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_amd64.deb)
SHA1: e98180f42f85af199d7d8bac49778b695790037a
SHA256: 7cf4e5f9ef8f92e755bc8f565ca4f5344fa26eeb37fda90f6ffc8d8eb43de5ee

Size: 19,989,298 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
SHA1: 253216decb5cecde8d9b99355c9582fb5ad6600a
Size: 1,092,670 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
SHA1: 2d1eabaa9612ac1e240fde49d65140ea4ee692a6
Size: 1,061,144 bytes

Submissions

xuhztphj
Submitted
Fri, 14 Jul 2017 14:27:51 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1484481655"