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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 28 Jun 2022 10:58:28 +0000
Build-Path
/build/1st/frama-c-20220511-manganese

First submitted
Tue, 28 Jun 2022 11:43:42 +0000
SHA1 of .buildinfo
535d2505ad2f3974dd02ae7ccc21fca5b115145c

Binaries

frama-c-base (frama-c-base_20220511-manganese-1.3_armhf.deb)
SHA1: ad2b8a7dcbe04dbd9a5b3847646ba3c4295e1331
SHA256: f906ff54e1872ebe251ab41b4b8a6656f2540060aae076dcac38b8daef36596d

Size: 63,881,852 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1.3_armhf.deb)
SHA1: 046cff2648a9afcaed00cb417dfa041517b9a1c0
SHA256: 8c97bce4bd414e9dc9b9fe759217f8dd759da6d32e64f19f2492e0a691eca25d

Size: 5,968,044 bytes

Other checksums

Submissions

tbwhwnzw
Submitted
Tue, 28 Jun 2022 11:43:42 +0000
Signed by
0xB586FBCA67A0DDF7

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1656355840"