Source
frama-c
Version
20201209+titanium-4.1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 14 Feb 2021 07:09:59 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Sun, 14 Feb 2021 07:21:13 +0000
SHA1 of .buildinfo
f5f2eaf52b61eac981d92c124ed708df35776e9b

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_amd64.deb)
SHA1: d0c956a1d8f6b02ae009e616a910c6e100e188ea
SHA256: 6f133a141d24243536afab991805caa78a9ab1eef50fb11bc62c8ab3db339755

Size: 60,634,712 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_amd64.deb)
SHA1: c6228a6e9dfcfc3c6b1dfbd5daaae509c36c8eab
SHA256: c609b837014b24acf85083800732932d75bc1f49d3aae2a4bc84ab174a6baea3

Size: 4,306,768 bytes

Other checksums

Submissions

Submitted
Sun, 14 Feb 2021 07:21:14 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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