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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 2 Aug 2018 18:39:12 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 2 Aug 2018 18:40:11 +0000
SHA1 of .buildinfo
2f820b367b4430d3892f85a403b95b04685ef882

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 337dbe06341de400b054f43d3c4bae19cb9953c3
SHA256: 7acaf5a80d2414ffb04f06836b9eedd64e81ab7226ce0f26a230562bd337ed90

Size: 12,336,284 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 70ec4fe5cf2aae8f778ce75ca10fe4945c75b668
SHA256: 7e60d2c936b81ed011f9fb142b5cf5d32640defcb8724459e1c2c906c7836ce5

Size: 22,324,296 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 66832fdaf98994d625b77c8c3e25d109aa7353fe
Size: 1,596,848 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 8c3cf52f74fb3a87ced6b00485d924a9a1baf989
Size: 1,572,124 bytes

Submissions

Submitted
Thu, 2 Aug 2018 18:40:11 +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"