frama-c_20161101+silicon+dfsg-5_arm64.buildinfo (view)

Source
frama-c
Version
20161101+silicon+dfsg-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 18 Jan 2017 21:42:11 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg/2nd

First submitted
Wed, 18 Jan 2017 22:25:07 +0000
SHA1 of .buildinfo
88b7dabb4991f6934724f2de7af8b1432846c7b4

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_arm64.deb)
SHA1: 846fd4bffad061963852c8fbaadaf789913e8fb0
SHA256: baa99d9f46dea8d6c5a65a2fec2e0651076ab6d81d249eeb18ec18d0bef7eee4

Size: 10,694,372 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_arm64.deb)
SHA1: e2c0be53fcd39a9b59029d7c6097c65018bece53
SHA256: f051260d5991e74f1e41b5500c530df88707aacb3b88309b3e3cc7a44bf385de

Size: 20,300,494 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: f67fd042b347d2add1e5815700e827d71e59329b
Size: 1,051,484 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: 96476f543dff709d0441fbccfed9f15d422e979d
Size: 1,018,924 bytes

Submissions

9i93kt4w
Submitted
Wed, 18 Jan 2017 22:25:08 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1484481655"