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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 20 Sep 2021 09:11:32 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Tue, 18 Aug 2020 03:10:03 +0000
SHA1 of .buildinfo
e088640ded3fa563f6b32d8c7e5b4144a2de20db

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_arm64.deb)
SHA1: f7fdff35b7c35d45f7062c93b112f5f96d697c75
SHA256: 46c21aaa7eca959be3459b38169eb9b1171db3e3ccda9df48245089bab57d284

Size: 24,036,488 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_arm64.deb
SHA1: e244bfe87e2e3418305531c3806e34c10cfa4dae
Size: 1,722,536 bytes

Submissions

Submitted
Tue, 18 Aug 2020 03:10:05 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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