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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 27 Sep 2024 00:11:41 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Fri, 27 Sep 2024 00:11:56 +0000
SHA1 of .buildinfo
a9d6eb9cdc9dc3da712b91e3db251972b4579281

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_amd64.deb)
SHA1: fa33c716137a02cf23dc96ea4bf2633accaa6b12
SHA256: dba8cafadd502ca183cc7b41ada50a1e715539b6d70484a5492fc07b51e9123f

Size: 60,266,020 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_amd64.deb)
SHA1: 5874a9cc8f5130549dfb8988c14a64ca5b52f95e
SHA256: 8d9a4c19cf82941d7617cbc0769fc8e147f274ab4f03180729ba89c03d0ad689

Size: 4,681,148 bytes

Other checksums

Submissions

Submitted
Fri, 27 Sep 2024 00:11:56 +0000
Signed by
0x5E6515A71A831546

Environment


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