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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 4 Sep 2024 16:08:00 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Wed, 4 Sep 2024 16:08:15 +0000
SHA1 of .buildinfo
4ece9d9b5513e9e38206ec8fbb6fa914ce8b8d7c

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_amd64.deb)
SHA1: 7ebcb82b8c670c6c016f3bd5a41707efe37e64ad
SHA256: a330ebe5d64485b0ec8df337e77e5978d61bee8efcd17ebfc9912953c45a9af9

Size: 60,268,584 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_amd64.deb)
SHA1: 904bf1fea6038666008c9da3af155bc7abf1f1fc
SHA256: fdba1174a3ce9ddcc3780af30e9974efc77e5fa1fba9d10b1e2629e31e023111

Size: 4,661,012 bytes

Other checksums

Submissions

Submitted
Wed, 4 Sep 2024 16:08:15 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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