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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 24 May 2025 07:17:53 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sun, 21 Apr 2024 01:19:55 +0000
SHA1 of .buildinfo
18c23257029f39a6732c32d2d1a2a15bdb59d686

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_amd64.deb)
SHA1: f4c97ac27e400ee2f2222b4afb81c49715b229a0
SHA256: 951e095d5a7e58609d309b78a768b45292b42e7a6d3fb25972b8417df5305cba

Size: 54,781,064 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_amd64.deb)
SHA1: 7a8f7ae72e9c31cdb50d0a51eb3c08eb06b46269
SHA256: dbf4590552f91a1263ac288ce2b488ebf764c872a0f8b408a44cd6801b58d5c0

Size: 4,853,336 bytes

Other checksums

Submissions

vv9qw3gq
Submitted
Sun, 21 Apr 2024 01:19:56 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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