Source
frama-c
Version
20170501+phosphorus+dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 12 Aug 2017 16:27:34 +0000
Build-Path
/build/frama-c-20170501+phosphorus+dfsg/2nd

First submitted
Sat, 12 Aug 2017 16:59:44 +0000
SHA1 of .buildinfo
dca0e5cde5bc02842324e139b413230db2f28e94

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: 98f78c31596295ddf4cc939ae3ca7233fc34e1b6
SHA256: 90fa8f73e5584fad235556bcbb3ebd5556be99ecc874a0f51e7fccf1ea3b0fa0

Size: 11,173,394 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: 2774fc3a24cdea141b82bd6acd76a5d1804f8307
SHA256: e885994cefee3d6d313b29a7be02da6db762d8b0b035201034c787af0ddd8ed0

Size: 21,325,836 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: 9a85b3e73d45fd8813e46b59f3a17351c41af62d
Size: 1,080,312 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: 7d29de712daa2d017bd6665d6963e052aa8c6434
Size: 1,043,678 bytes

Submissions

Submitted
Sat, 12 Aug 2017 16:59:44 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="frama-c_20170501+phosphorus+dfsg-1=/build/frama-c-20170501+phosphorus+dfsg/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1502474793"