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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 24 Oct 2022 14:47:32 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Mon, 24 Oct 2022 14:50:00 +0000
SHA1 of .buildinfo
92ce4abe82e099fcb849e8324162a0d41d6f309c

Binaries

frama-c-base (frama-c-base_20220511-manganese-2_i386.deb)
SHA1: 755f6dfbfd1a76e2ee219c53662192b3f863e518
SHA256: d5977bd701a9038cdf2722711395cbc86cce1979757a0e214a5912c592e27b03

Size: 61,761,408 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-2_i386.deb)
SHA1: 805ab806acb6a277b3ab669cf902d43804474999
SHA256: e0b07b4d376a06333e999370053082284c82a2e1413bfadf58c697ed9247bfcb

Size: 5,333,744 bytes

Other checksums

Submissions

Submitted
Mon, 24 Oct 2022 14:50:01 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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