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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 9 Sep 2023 07:16:37 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sat, 9 Sep 2023 12:10:58 +0000
SHA1 of .buildinfo
942048e9ff4114289cc4fd7a79270ffdba1adbaf

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_i386.deb)
SHA1: f2766044405a325fea47ae7f92e839b5c2f2540d
SHA256: 7c5130615db304408f20928af18625a9add907a9932f01f684a4805dcd2d8f5b

Size: 51,750,208 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_i386.deb)
SHA1: d9ef44c817262b34c4dfd77b4d83fc0ca5022591
SHA256: 299895246a86d8bb51cf5f4cf2ce78caf03904f520c8f052826246cedd2c54b7

Size: 4,666,240 bytes

Other checksums

Submissions

Submitted
Sat, 9 Sep 2023 12:10:58 +0000
Signed by
0xE9B19B9E8658FCDC

Environment


DEB_BUILD_OPTIONS="parallel=6"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1694240816"