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
Sun, 2 Oct 2022 12:23:32 +0000
Build-Path
/build/frama-c-20220511-manganese

First submitted
Sun, 2 Oct 2022 13:23:08 +0000
SHA1 of .buildinfo
eab6b93ee977399da23c5f95574d73ac85d2287b

Binaries

frama-c-base (frama-c-base_20220511-manganese-1.3_armhf.deb)
SHA1: 35b3dbd41a8892d740cfb644250c15c26623150f
SHA256: bdd447b01bf8d7b0898adad71fdaa257cb5113c75b2a63a6c25708ed7b91c10b

Size: 63,178,884 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1.3_armhf.deb)
SHA1: 87766bd619208a05b2c74c01746b7de6536e6226
SHA256: 2a272124d14b68a9cfe62de821509e8d9c9d6308c2e874a93f94d3003fbb89d9

Size: 4,475,040 bytes

Other checksums

Submissions

rydomyiy
Submitted
Sun, 2 Oct 2022 13:23:09 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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