Source
frama-c
Version
20201209+titanium-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 4 Jan 2021 02:19:04 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Mon, 4 Jan 2021 03:14:58 +0000
SHA1 of .buildinfo
4514d2a933b78abaf596b707dbd0b72e0fa89fdb

Binaries

frama-c-base (frama-c-base_20201209+titanium-2_armhf.deb)
SHA1: 5e8eabb3f78c599f3042912ba340b9579ea10699
SHA256: 46c2cdbc4dcc9636b3c872594dcadcb29483c5a8efb5fa087315511b583ef069

Size: 60,102,432 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-2_armhf.deb)
SHA1: 86644f8600b9fd485365d91748ca4fe4fa96b397
SHA256: cb62d7dbd40c5bdd8bc32502d4ad7f5fcaa62182d96c85968aa2f0f569f23318

Size: 3,428,668 bytes

Other checksums

Submissions

Submitted
Mon, 4 Jan 2021 03:14:58 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609666526"