Source
frama-c
Version
20200625+scandium-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 13 Dec 2020 11:35:00 +0000
Build-Path
/build/2/frama-c-20200625+scandium/2nd

First submitted
Sun, 13 Dec 2020 11:35:55 +0000
SHA1 of .buildinfo
74c440ae76040620eaf3094a2dd0f132f00b02ff

Binaries

frama-c-base (frama-c-base_20200625+scandium-2_arm64.deb)
SHA1: acd724734a40811eb0be5ced9520bdaff0f1d46d
SHA256: 9c0d33a6573038759677ff573bcd713a4157ee7ee24a8d30cf33b32a462ce3cc

Size: 62,648,192 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20200625+scandium-2_arm64.deb)
SHA1: 5ddec38aad7eda1de9dbf33a67a1e99ca617d7a4
SHA256: 47fff4c2ba9a75f64e07aad720b2122e24669db6092edb34a06f181eb180818c

Size: 3,990,600 bytes

Other checksums

Submissions

Submitted
Sun, 13 Dec 2020 11:35:55 +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="1598423978"