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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 3 May 2021 05:45:11 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Mon, 3 May 2021 05:55:34 +0000
SHA1 of .buildinfo
e0e8d47144f595c19b8bf697f70fb7b1b58c4aed

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_amd64.deb)
SHA1: a2c60ddda907ecbc02e4e90fb3f539b1d005ffd7
SHA256: 80699651975aaba57863c9b73419985e716c66b3c66c521b86225bbad14ded6e

Size: 60,632,080 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_amd64.deb)
SHA1: 6c89141f6426bbb8d0ad8f7a7b0d1d5fb481cbce
SHA256: 25bde37794ce25731123c3ad375164cfaaf48a998a831ad6ee71576acba15a0b

Size: 4,132,108 bytes

Other checksums

Submissions

Submitted
Mon, 3 May 2021 05:55:34 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"