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
Sat, 19 Mar 2022 00:48:23 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Sat, 13 Feb 2021 19:16:39 +0000
SHA1 of .buildinfo
03aeceb4e83e5471c12b130f0e3e499158ee5fda

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_arm64.deb)
SHA1: 19e60738a819fbba92c7aa03ec3291cf91f46670
SHA256: c4cfd4c97836a02d031b96729bdeda90141e11b04d2b961b6317d0781e85b0e9

Size: 63,890,668 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

myqpmavw
Submitted
Sat, 13 Feb 2021 19:16:40 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"