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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 13 Jul 2023 20:44:43 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Thu, 13 Jul 2023 20:48:54 +0000
SHA1 of .buildinfo
0c0a7e348b14464e478641d8a4c22c4d4050fd06

Binaries

frama-c-base (frama-c-base_20220511-manganese-4_armhf.deb)
SHA1: e6a5adadb4b0d809629dc80ad50475df74b19f95
SHA256: 30ebb16061ab6fe3afa1f0c6d343666a02a4d05625da6ea3a21d8c6c0c2a2eac

Size: 63,091,696 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-4_armhf.deb)
SHA1: 4b4e3f4634a6d125f21e6691773f7f7f88b72e43
SHA256: 68e5e1c88a9edc8ef59b639e2ef671d6c7a11e2a4247515b140fd8a00b47fc10

Size: 4,851,976 bytes

Other checksums

Submissions

Submitted
Thu, 13 Jul 2023 20:48:54 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


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