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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 18 Sep 2024 17:20:13 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Wed, 18 Sep 2024 17:24:29 +0000
SHA1 of .buildinfo
47cfa276ad5646fbb8bd41a6c8eb0b5fe0f42084

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_i386.deb)
SHA1: 18ea6cb0aa05b4935d6f3ed67e027b41129b3cdc
SHA256: afb8e4ec26f092e095a5b98829ad481cddbd9ab6591c222e8878373b9ab9d344

Size: 38,282,308 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_i386.deb)
SHA1: bc09e5ab66373931a6f35144cd0cb4091b704e48
SHA256: fe04417eae0e07e1f3f34a88570aa34356b76040650ec81cf641a59632e163b6

Size: 101,588 bytes

Other checksums

Submissions

Submitted
Wed, 18 Sep 2024 17:24:29 +0000
Signed by
0xE63A335CA1307151

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6 "
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1694240816"