Source
frama-c
Version
20171101+sulfur+dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 18 Aug 2020 03:02:27 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Tue, 18 Aug 2020 03:10:06 +0000
SHA1 of .buildinfo
a0e44df06130c7c416f3545d8c7cde58203b9fd6

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_arm64.deb)
SHA1: da48750d841b92d72ebc6783d5b3ab9cc3e8f432
SHA256: 992b6eb9aecafd22443072863a3b63748898b8f44e15993dd0bdcf80dfd6e808

Size: 24,036,732 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_arm64.deb
SHA1: b6088bc601af78494c714c29b1869a5eba2f04eb
Size: 1,723,088 bytes

Submissions

Submitted
Tue, 18 Aug 2020 03:10:06 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1542019482"