frama-c_20220511-manganese-5_i386.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 17 Aug 2025 05:36:24 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sun, 14 Jul 2024 23:20:14 +0000
SHA1 of .buildinfo
7fbbbd598899a92a34494aebfae77e51c3ea84b9

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_i386.deb)
SHA1: fc6e68a5579c0b13ddb31804d331987c57db3784
SHA256: cafe491e5d82e9ed8dee1dc8deeb52935c9ec5f31c6160b2acc74ab6abc39389

Size: 52,774,892 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_i386.deb)
SHA1: 4c3eaa53df9347e61c832b59ce122691b5b72b2c
SHA256: 3faa3c1e79457b7c19f419e192300684e56103cceffa18a4ac0e1eb3efbac2a4

Size: 4,712,268 bytes

Other checksums

Submissions

gybm9z47
Submitted
Sun, 14 Jul 2024 23:20:14 +0000
Signed by
0x944ECD7A162C41AD

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"