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, 28 Apr 2025 02:03:47 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Mon, 25 Mar 2024 19:41:08 +0000
SHA1 of .buildinfo
51077cb3c41eb8b310cf494e8c42aa9801301a09

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_arm64.deb)
SHA1: b3f60647d3ba48671964c3e541325ef4e6e3039d
SHA256: f69c353459d45b308dbbe894c4d599d8f1dc82c5f6b39826e1591ca3bd59b4f5

Size: 57,336,888 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_arm64.deb)
SHA1: e2a291613070390e52d1ec404f2e4f117af0bdd5
SHA256: c747e4d72370442b3e0ae584a41c253febecfafc182f79c79132aeae43ae8a0c

Size: 4,864,140 bytes

Other checksums

Submissions

bfp9wqrb
Submitted
Mon, 25 Mar 2024 19:41:08 +0000
Signed by
0xB2C8EDB564786B74

Environment


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