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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 19 Nov 2022 17:14:56 +0000
Build-Path
/build/frama-c-20220511-manganese

First submitted
Sat, 19 Nov 2022 17:18:08 +0000
SHA1 of .buildinfo
d907c18ef5d96675b31d61a15effa6d43e0871ab

Binaries

frama-c-base (frama-c-base_20220511-manganese-2_armhf.deb)
SHA1: ade6f48161dfb693b1ea87584f05b573b61e1357
SHA256: ebc610339cb72b1de6360bb40a4be087ee647e07d7f8c3978943ffc95c4bf7f1

Size: 63,090,264 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-2_armhf.deb)
SHA1: 1bd66edac59441443e4d21647fbb4511a81f2a3e
SHA256: 1c33fbd662916621cb9643aaef95807e9e467f7e546866b02d50316137fcb0b5

Size: 4,724,832 bytes

Other checksums

Submissions

vsxesi9o
Submitted
Sat, 19 Nov 2022 17:18:08 +0000
Signed by
0xA929A85B0F5F1B79

Environment


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