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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 11 Oct 2018 03:21:19 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 11 Oct 2018 03:22:06 +0000
SHA1 of .buildinfo
93022d5812b4701d3f52392369f979468b9e534a

Binaries

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

Size: 13,962,004 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_arm64.deb)
SHA1: 73ce534233f261246a4011ec934f6d0a338b5282
SHA256: 639dc2063d3f5250311f9dbfcced6bb8539928ae8cfe4594f9fe85b2b0511413

Size: 24,062,736 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: 4ecbc2848fdea2c3658e053131b1701a10b584ad
Size: 1,810,276 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_arm64.deb
SHA1: 85d0d4ed1199635487d88dcbdf1d4ee47b793c5a
Size: 1,719,644 bytes

Submissions

Submitted
Thu, 11 Oct 2018 03:22:06 +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="1526053176"