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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 5 May 2017 05:25:40 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Fri, 5 May 2017 05:42:20 +0000
SHA1 of .buildinfo
32572ff650a893e3b27684700a9603b59007a3ac

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_arm64.deb)
SHA1: 953110be8ba459d3a473bfc2b371f4a2deb91c8b
SHA256: b1d8a2b515aadb4984720823972d4f76e4061980cfd6fce6da43b5c0578bfd61

Size: 10,690,328 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_arm64.deb)
SHA1: 87e546477626c96f1dd7b98d7511fdc9d8ae2edc
SHA256: 10f5eb80f16b89333ada5649e7c22e13cd7d861c3864308dce930af4bbc5e479

Size: 20,306,208 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: 0b36446a626b0571455feaefa7ecf6bda4f9bc84
Size: 1,050,544 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: 54da4385387eca5af7cf14505cda46db17b59cbd
Size: 1,015,380 bytes

Submissions

Submitted
Fri, 5 May 2017 05:42:21 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1484481655"