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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 23 Oct 2022 19:41:11 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Sun, 23 Oct 2022 19:43:21 +0000
SHA1 of .buildinfo
4c8ab783bb907fefde5f7b6d4ec0f51d319f73a8

Binaries

frama-c-base (frama-c-base_20220511-manganese-2_arm64.deb)
SHA1: ec9c62056df5c1b2b614fc927acbec19d19a3d09
SHA256: 8b2297edf29f3c1a74c75386ab5962406b4bbf57f5bd2ad01e311b61d936a185

Size: 67,164,820 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-2_arm64.deb)
SHA1: d442a3741eb72c70bf9adae9b493ec9eee54261f
SHA256: 5c09ea8bbaef1b8e9cbe80ddb730ab8e76641a6d833a1882e0ef27b242e1d7ec

Size: 5,268,096 bytes

Other checksums

Submissions

yufdat4z
Submitted
Sun, 23 Oct 2022 19:43:22 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1666520738"