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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 18 Mar 2019 12:05:30 +0000
Build-Path
/build/1st/frama-c-20171101+sulfur+dfsg

First submitted
Mon, 18 Mar 2019 12:53:52 +0000
SHA1 of .buildinfo
bd735c4b3842468e256b84571f2443fe308c6559

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_armhf.deb)
SHA1: 9993e04395b22a2d2599804462114fd3d860199d
SHA256: 505a82cfd9bb91ac33b5e9b1277b3941b1efa8581c5be13e5bf94bba200a4041

Size: 22,260,176 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_armhf.deb
SHA1: 18aaf04f77f0a49570924ef71cf09e58210e476c
Size: 1,416,080 bytes

Submissions

Submitted
Mon, 18 Mar 2019 12:53:52 +0000
Signed by
0x0CB44ADC1E48B47D ff4a (Automatically generated key for signing .buildinfo files)

Environment


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