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

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 27 Dec 2022 23:30:15 +0000
Build-Path
/build/frama-c-uy97pU/frama-c-20220511-manganese

First submitted
Wed, 28 Dec 2022 00:22:45 +0000
SHA1 of .buildinfo
e87d1cf482a843b222a0096f72eb074e9f17abdb

Binaries

frama-c-base (frama-c-base_20220511-manganese-3_armel.deb)
SHA1: 2ea7760e9f3ef092562bb633c4ec01515744aba9
SHA256: 0abe064436c7fa9d3e450ddc81cefeb4c49e768fe84bc26397304d959bc6052a

Size: 40,453,836 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-3_armel.deb)
SHA1: 9549fb12876054a795e90ddfcc225d60cf813180
SHA256: 2bc6f714f795a3be0ec88ca699f026497c42fdbef92bf3d19c793f9adbfded45

Size: 120,420 bytes

Other checksums

Submissions

Submitted
Wed, 28 Dec 2022 00:22:45 +0000
Signed by
0x0FBC4C63F988A973

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1672171226"