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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 12 Aug 2019 07:19:31 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Tue, 10 Jul 2018 00:57:38 +0000
SHA1 of .buildinfo
194ae8bdd0a2c76e1ffb37ea2ea50feac19871bd

Binaries

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

Size: 13,959,560 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_arm64.deb)
SHA1: 596cadda3f6e3714f81c6a0cad2f3235c1da87ec
SHA256: f41f10f13bdc3c527ca7f3f6c7c72fddbca94d1b39f6e69549886e50018ed63e

Size: 24,052,412 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: 9a864c73e6f1713fd2bdbca7c07d03bc951375ba
Size: 1,811,060 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: 3ddc9d276af501e05f3285f6130b6aadcb308f14
Size: 1,721,144 bytes

Submissions

Submitted
Tue, 10 Jul 2018 00:57:38 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"