frama-c_20201209+titanium-4.1_arm64.buildinfo (view)

Source
frama-c
Version
20201209+titanium-4.1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 16 Nov 2022 19:53:44 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Thu, 14 Oct 2021 13:53:34 +0000
SHA1 of .buildinfo
d02bbfae9a2e82fa77ad21b9d802c5eebec314cb

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_arm64.deb)
SHA1: 410a9adb99dee36234ce2662a904f033e2fad8ee
SHA256: 2799d6b0fbc97225b4e43003ace1e8e1d6289827d22a66e7aab9753c47a03e18

Size: 63,928,132 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_arm64.deb)
SHA1: 3cbeaf6522c4e1ea1e59807e78b09f72862830d6
SHA256: 27bf7318a4a9397b96ea9b8553da9c8afcec21955e415c467a03f30054537f1f

Size: 4,085,060 bytes

Other checksums

Submissions

ghgjsaui
Submitted
Thu, 14 Oct 2021 13:53:35 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1613081371"