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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 18 Mar 2024 18:55:19 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Mon, 18 Mar 2024 19:09:27 +0000
SHA1 of .buildinfo
4d1859e663b3ad996b2866c23e54ff669783b81b

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_armhf.deb)
SHA1: b096b908052792e6c6355b15b8067da93432e273
SHA256: 3d3ab33a2cc9b9bd65e0946f3dfbe094987960cc9cd3fd3183bbdef06651c097

Size: 53,857,556 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_armhf.deb)
SHA1: 0d1eab3a27c273db63b1d3f69a1853b7a5b34e4b
SHA256: ca4e97783694764e907f2389756d9733033aeaaca305b1360c8c229ded4c0126

Size: 4,254,472 bytes

Other checksums

Submissions

Submitted
Mon, 18 Mar 2024 19:09:29 +0000
Signed by
0x4F15D07E60F07CB2

Environment


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