frama-c_20220511-manganese-1.3_amd64.buildinfo (view)

Source
frama-c
Version
20220511-manganese-1.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 2 Oct 2022 21:05:01 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Sun, 2 Oct 2022 21:09:51 +0000
SHA1 of .buildinfo
5ca97ac851c0f3ede0769593ed8e0df734a3e6de

Binaries

frama-c-base (frama-c-base_20220511-manganese-1.3_amd64.deb)
SHA1: bdec27a30d7c1b4d7814ae827dfa85903ad703d8
SHA256: 80630c32e9947d5062a1f19993033b51dc0eb19417d87d358a9bc77e705a2760

Size: 64,176,100 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1.3_amd64.deb)
SHA1: 15114efaa8ff3285835d83b8c146b53fb6705aa1
SHA256: ec0bc18b57d980d025314a4a3ecd9be5de6c819e753a382329af9d1cd940dcd3

Size: 5,525,524 bytes

Other checksums

Submissions

yursftgs
Submitted
Sun, 2 Oct 2022 21:09:51 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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