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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 19 Feb 2020 16:52:18 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 17 Jan 2019 10:30:00 +0000
SHA1 of .buildinfo
3371ce174d815753b0f129b1b33b622d2aa3b529

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_amd64.deb)
SHA1: 4ab62e2daf06db77629b2981f9dd852a7b2154e6
SHA256: 24493fdd71243b752cb0732780d53e4de4a06e2afaff793ebbd2f2ccabf95810

Size: 22,298,464 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
SHA1: dcaca7b31657a6203dd74f3b6d09c569b883e32a
Size: 1,570,984 bytes

Submissions

Submitted
Thu, 17 Jan 2019 10:30:00 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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