frama-c_20201209+titanium-4.1_armhf.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 5 Jul 2021 08:52:06 +0000
Build-Path
/build/2/frama-c-20201209+titanium/2nd

First submitted
Mon, 5 Jul 2021 08:58:27 +0000
SHA1 of .buildinfo
5d9ac764952ddbdb1623378e266182dac1ae9c91

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_armhf.deb)
SHA1: 297d6e3edcbd2f9e4eeb76bae1d6a3d05dde05ee
SHA256: d0456ecd966b356f448b5920bd05bf66359854ce740df5a460948db1637c4083

Size: 60,099,676 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_armhf.deb)
SHA1: b32516bc8cfe4a81f739bb1e99e93c1e4a55f0e4
SHA256: 76a59c66faa5031c072bfed882c144534b480554bb14c6d6b0bda62432721488

Size: 3,519,200 bytes

Other checksums

Submissions

zyjbabgo
Submitted
Mon, 5 Jul 2021 08:58:28 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


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