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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 28 Mar 2022 12:00:56 +0000
Build-Path
/build/frama-c-20201209+titanium

First submitted
Tue, 23 Feb 2021 05:51:03 +0000
SHA1 of .buildinfo
c39a8ccbf9af495eb58aa55f5c797c5b4fcded6f

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_arm64.deb)
SHA1: 31c6eee5c95e58c26a71b5b624ef5e19ad6895fa
SHA256: 4ec92256494eaac63d115776ece8f920de0df07379be5783c7f27ecb66eda5f8

Size: 63,890,676 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_arm64.deb)
SHA1: 7d410ebfb7c0707ff026d47e97ab5d3f869a1620
SHA256: e7186ddc7799845ef242491ae8896d694f5f34cfcdb8bb41d524d2b67fce5fc6

Size: 4,184,272 bytes

Other checksums

Submissions

Submitted
Tue, 23 Feb 2021 05:51:03 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1613081371"