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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 18 Jul 2019 11:28:33 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg/2nd

First submitted
Thu, 18 Jul 2019 11:45:50 +0000
SHA1 of .buildinfo
fc85124c2435de064792ff054df29690a374a0e6

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_arm64.deb)
SHA1: 0c7e580129fbd6932da224048dc00152f86c5f4d
SHA256: fd115237aede42116b9e49d9eae85a034896b0446f9caba0e69bcd35f2464b0c

Size: 24,047,432 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_arm64.deb
SHA1: bdf0e5e215774bae44a536d2d1eb67e6b5677959
Size: 1,715,800 bytes

Submissions

Submitted
Thu, 18 Jul 2019 11:45:50 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"