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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 10 Oct 2018 16:55:43 +0000
Build-Path
/build/1st/frama-c-20170501+phosphorus+dfsg

First submitted
Thu, 7 Sep 2017 12:44:03 +0000
SHA1 of .buildinfo
ad020b0440358bc288b7a00f0eb37b9bcae15e6c

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: 3bfb4454c3778ae64de1e2b1246b1942596673e1
SHA256: 4341669e4ebeb68fc86d3b2b89fdc142b8cbbd472fa6d50cc06c4ebadf85313e

Size: 11,169,482 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: 179ba4c4a852362c3ffe0ff94c981256d944af12
SHA256: 861c82a2aafa109628d776284adf23f6aa39ab55aa79d58f4f508ffe58b94765

Size: 21,336,980 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: 794702f7ef471f38f1150460461f03f8bdee27b4
Size: 1,078,024 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: 74ed705cd990753041609d47aff1cdf6bc689438
Size: 1,040,872 bytes

Submissions

Submitted
Thu, 7 Sep 2017 12:44:03 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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