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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 19 May 2018 12:19:24 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Sun, 16 Apr 2017 06:12:28 +0000
SHA1 of .buildinfo
d7f069685c40ce9a754847f12ecf941a48558687

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_arm64.deb)
SHA1: bf3657ca39263d5143164c7f0b0b12812007906a
SHA256: 5464952b08de67a6a86269698d306ce932bb4c5f2e1645db3c392e5363b3afb9

Size: 10,691,328 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_arm64.deb)
SHA1: 5362d0c8adeaa5dc7c390806c1cab36139d8061c
SHA256: 4c15ea26458b03e6c1be23fed33cc676ab1120ce7eb2b023b7933a3761bfe4d8

Size: 20,302,898 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: af0eea5a7ee261673943884bbe0a9332e23b6f47
Size: 1,052,250 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.deb
SHA1: b9cc2c38d477e9476e531adff25c11ac1c8b2a03
Size: 1,014,876 bytes

Submissions

Submitted
Sun, 16 Apr 2017 06:12:30 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"