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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 12 Feb 2021 20:39:46 +0000
Build-Path
/build/frama-c-Euk63U/frama-c-20201209+titanium

First submitted
Sat, 13 Feb 2021 00:12:35 +0000
SHA1 of .buildinfo
188bba8cef5eb89645d63618161997084d303c35

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_amd64.deb)
SHA1: 9e1c7f24916eb58f42c124f45a04aa9983b0625a
SHA256: f4cc375824f57dd59a94f513e6a0ebdac3904f696d90ad5ae1beebec37c770e6

Size: 60,634,612 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
Sat, 13 Feb 2021 00:12:35 +0000
Signed by
0x787961435CA5266F

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1613081371"