Source
frama-c
Version
20171101+sulfur+dfsg-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 20 Aug 2018 15:39:47 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Mon, 20 Aug 2018 15:40:45 +0000
SHA1 of .buildinfo
da7773da761b6e2d6c65f6328cac7da9f6e0539e

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 55003406e89ab81f237fdeba91278f91e226ec1f
SHA256: f05f6941717035348aa0e46e43f325e6ea36a07e4f9b123a274a20a2be2b21e7

Size: 12,334,980 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 58b533b199e4bf80e204499b20be38ceef11336a
SHA256: cef2eba0c2b0b6956d1e3ac04c8b79cd7e016be3e61f417efea9956ff089d4e1

Size: 22,320,260 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 9ec84cfa93cbe4919992cb6b7b57d7a4d3e7039d
Size: 1,597,016 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 8c007115b50c8970403e24a051b1e234a6390ffa
Size: 1,573,060 bytes

Submissions

Submitted
Mon, 20 Aug 2018 15:40:45 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1526053176"