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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 20 Apr 2024 00:25:18 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sat, 20 Apr 2024 00:25:45 +0000
SHA1 of .buildinfo
e2aa5648e01ec976caa2947d021b5b6f1df541cd

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_i386.deb)
SHA1: a9a17768870a88def514baedbd003626c87887b4
SHA256: 3bf5be4b9228c6bff6af7ffc55e607968ea18b261d99053107148b354b1d78a7

Size: 52,773,852 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_i386.deb)
SHA1: 0c7c0688dfe530a08273e26d01394ae3baa5fe13
SHA256: 0e10913965ca88bde3f19025b844564e85b0da8b9037814e675c737ec19456e2

Size: 4,792,184 bytes

Other checksums

Submissions

Submitted
Sat, 20 Apr 2024 00:25:45 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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