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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 11 Aug 2025 18:14:03 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Tue, 9 Jul 2024 11:51:18 +0000
SHA1 of .buildinfo
e5f0a008196089ce6c51656149368b0cd1a6f882

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_arm64.deb)
SHA1: 60a5fb667e00ed659fe224c69265aee7de8c909c
SHA256: b839aed50de7c82178afda4f62db77fd3f4aacbbc71cd5b833c89855a8e37b1c

Size: 57,295,840 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_arm64.deb)
SHA1: 41630e6384ccb624b9f72fcae1efbc0655a022fd
SHA256: f4b3014d47f882c99563eb16c96e46b014c6a4ec3d005c6a75071b57910434b0

Size: 4,753,908 bytes

Other checksums

Submissions

aya4afdn
Submitted
Tue, 9 Jul 2024 11:51:18 +0000
Signed by
0x8C42C611576CA54A

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1694240816"