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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 27 Sep 2022 13:54:23 +0000
Build-Path
/build/frama-c-20220511-manganese

First submitted
Tue, 27 Sep 2022 14:08:19 +0000
SHA1 of .buildinfo
b752ff2e98a49d1d1df5255ea11aced0f3cf3192

Binaries

frama-c-base (frama-c-base_20220511-manganese-1.3_arm64.deb)
SHA1: 03117ef88685b4b6475c5ab2324ed436972e2de6
SHA256: 8ff2123d21b8d9fa4b22d6344a08622383b30f8458f9f2caef2ddd6af2359a01

Size: 67,162,296 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1.3_arm64.deb)
SHA1: eb410c4ee61131bdd50a4aed093a4fcf99e3997f
SHA256: 8a00bf9eb12e2d9ad51f4f46f13cee567308e7cd6822376ab96b0773a8a7c2e9

Size: 5,227,160 bytes

Other checksums

Submissions

vr3vqoi7
Submitted
Tue, 27 Sep 2022 14:08:19 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1656355840"