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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 3 Jan 2021 14:07:34 +0000
Build-Path
/build/frama-c-Tq2JPU/frama-c-20201209+titanium

First submitted
Sun, 3 Jan 2021 18:23:04 +0000
SHA1 of .buildinfo
f454eb210daded158fce1063a16ff99d5a7c2d93

Binaries

frama-c-base (frama-c-base_20201209+titanium-2_armhf.deb)
SHA1: 74fef6c9e8457e143d9c858814a053872cf74704
SHA256: 2b516bbc76578cf92292acd3e886e48351c4e2de1ec9f0755a74264bd7008181

Size: 60,102,524 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
Sun, 3 Jan 2021 18:23:04 +0000
Signed by
0x289DB3F819B2E0DD

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1609666526"