frama-c_20161101+silicon+dfsg-5_armhf.buildinfo (view)

Source
frama-c
Version
20161101+silicon+dfsg-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 10 May 2017 10:19:22 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Wed, 10 May 2017 10:21:15 +0000
SHA1 of .buildinfo
12b7e82503fcb7a8948c3942a36d6cc64a996942

Binaries

frama-c (frama-c_20161101+silicon+dfsg-5_armhf.deb)
SHA1: 4578db87224cd6da0d602d99947bea6eb50deafa
SHA256: 3436fe2b3be76ec066a774ae0dae4886beba7f9df18027af0a935edf6131e1a2

Size: 10,935,034 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-5_armhf.deb)
SHA1: ea951752d217b1b0a93dea8dfbf4697931c707d6
SHA256: ce9359ee16387e4707c6b559a5fc76f46e4b1ecbdbb21fee1d9e1840681d5994

Size: 20,791,746 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: 0060fed87026e703afcde116476db502f07809e1
Size: 1,165,646 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-5_armhf.deb
SHA1: 66ca03c493244a153a46b39b555284473ea15e54
Size: 1,117,656 bytes

Submissions

fmavjpjc
Submitted
Wed, 10 May 2017 10:21:15 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1484481655"