Source
frama-c
Version
20171101+sulfur+dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 19 Jun 2019 11:54:38 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 17 May 2018 05:35:40 +0000
SHA1 of .buildinfo
8d698d379b423c0cb467c40e3ce9bb3d20fde8ff

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_arm64.deb)
SHA1: a2f51030e552bb535e7eccd11da7239920732870
SHA256: e1549db214a55c264c1642c9cbf27fb904650fa570ee43bf519c370ec7144304

Size: 13,952,656 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_arm64.deb)
SHA1: 6a2639c9d2b500f95476be81ddae696b8245009d
SHA256: 3189fefbd6aa98e47c1360792e7ab3b780d4e7837f0c388f9dcb508b683620e1

Size: 24,026,976 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: e9f9fe4c7e2240fe00379ff74eb08c56d99bc853
Size: 1,807,516 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: 6a7ea9a193762a99b1e0773b27f88c1bf0bb3685
Size: 1,722,576 bytes

Submissions

Submitted
Thu, 17 May 2018 05:35:40 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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