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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 4 Sep 2017 07:22:13 +0000
Build-Path
/build/1st/frama-c-20170501+phosphorus+dfsg

First submitted
Mon, 4 Sep 2017 09:34:57 +0000
SHA1 of .buildinfo
680e7e0681888ea1ac8fb26cfd9f1f79e61fcc64

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: e87a890575c956b220ff43032f0dc651adb7ae78
SHA256: 35946b6d84b8a13c45ec76d6b09d0560b86324ba7e17145bcc45db243be53b58

Size: 11,175,306 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-1_arm64.deb)
SHA1: 248849e93f69205e06b64b5354a315642a3e14cb
SHA256: ae73ae6aebcb5faec155d467d4c8a614d0fd5f7009cf0af99c5ed9eef677c894

Size: 21,355,234 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: b4c855e3c6aac62002a99a4cac8323705f327738
Size: 1,079,176 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_arm64.deb
SHA1: 16517bfe03e346a7aa8b6c06577d8c146d634213
Size: 1,045,540 bytes

Submissions

Submitted
Mon, 4 Sep 2017 09:34:57 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"