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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 17 May 2018 05:23:57 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 17 May 2018 05:32:19 +0000
SHA1 of .buildinfo
b43032c71cdc3274ea181f54b4290a9ad25a75fb

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 4e8d2d95ad3f2b2514494ac501290be50683023d
SHA256: 505eb431da0f811f6e3fab791dd43ace13bafd82bed53344fcb04d8dbad25e06

Size: 12,349,152 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: fe1532d2b4bc6d2e2fb1fb6d3bd035221ca37486
SHA256: 4f2b6e4c40cc6bac7a4edb3258f0672e6e70a7e56479b429af2a78e8934599a6

Size: 22,325,292 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: b5b23cdd3630d7ef66137c296793c9493f96a9f5
Size: 1,597,028 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: e0f34ff0c5f720f54cfce9dbc6a1b8e0b31c1c4f
Size: 1,573,068 bytes

Submissions

Submitted
Thu, 17 May 2018 05:32:20 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"