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
Fri, 12 Sep 2025 03:54:25 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Fri, 9 Aug 2024 21:31:35 +0000
SHA1 of .buildinfo
8a1da817182d149042f84568ae523909f99d89a3

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_i386.deb)
SHA1: 26b7a40b79bba7e6df3427fdb23e10fc70d1f9ba
SHA256: 0c473c0c4019d8817df69dcb4b2e73154c4efcccf5b33480314449a3b15fe393

Size: 38,279,980 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_i386.deb)
SHA1: 6a26a6ab9e54ad5ae99402b85c4bc541eb4e63a2
SHA256: cf14ff844582e6af5badfb1cce683a5ac48d34be85d804c6f14480aa86664e43

Size: 101,992 bytes

Other checksums

Submissions

bbbq4ogr
Submitted
Fri, 9 Aug 2024 21:31:35 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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