frama-c_20220511-manganese-3_armhf.buildinfo (view)

Source
frama-c
Version
20220511-manganese-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 9 Mar 2023 06:57:08 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Thu, 9 Mar 2023 07:03:04 +0000
SHA1 of .buildinfo
6c1cf1c56fd3ddec9a7066b9e42fce7585ee4708

Binaries

frama-c-base (frama-c-base_20220511-manganese-3_armhf.deb)
SHA1: 5e5c8ac299a29665484f650691cb969d696c0e1c
SHA256: 17ea2939b8b1b60668dd9e6199d7924caad31e976f8c5dbbb17bd3c73dcdaa68

Size: 63,095,484 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-3_armhf.deb)
SHA1: d204280ad8658fb8b5cd9278ecf3fb67dbc48a90
SHA256: 18b48b31e7ff9defc989d61856d71927db35b5a899e5366d22d109ecb2643456

Size: 4,902,924 bytes

Other checksums

Submissions

47dwmrjy
Submitted
Thu, 9 Mar 2023 07:03:04 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


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