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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 27 Jul 2021 02:13:40 +0000
Build-Path
/build/frama-c-20201209+titanium

First submitted
Tue, 27 Jul 2021 03:01:14 +0000
SHA1 of .buildinfo
bc0a63b37fb22602098bf0a7573de0f60252f15d

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_armhf.deb)
SHA1: 261d53d7717d15a5c9a5be0b2966d4b1d91b9764
SHA256: 919c3e5459415e514c745073b3ec53d10fe9e99d62026155d7be3e41889e54be

Size: 60,099,760 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

Submitted
Tue, 27 Jul 2021 03:01:15 +0000
Signed by
0x2738E803AC4FE478

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1613081371"