Source
frama-c
Version
20170501+phosphorus+dfsg-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 9 Feb 2018 02:03:08 +0000
Build-Path
/build/frama-c-20170501+phosphorus+dfsg

First submitted
Fri, 9 Feb 2018 02:39:46 +0000
SHA1 of .buildinfo
e8a812b3a2d3a06af15f21a97039a11c834d3a78

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2_armhf.deb)
SHA1: e4c70007cc464d1a1fb843fe11acc5c8c6605a3e
SHA256: 69a9e59bd278ec94b1e5c2b0f72612ff1288b9d2bb813f2e923cc495851ae480

Size: 11,685,760 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2_armhf.deb)
SHA1: 983382c3f27d6e9384a1f96f91d72ef6d569cc36
SHA256: 3d270c85472e657dbe660cbf5f5ed69474c19504a413fccbb17511e0f56850da

Size: 22,044,848 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2_armhf.deb
SHA1: 4d4d659f30117b2057d95084c4a117e10b90bce7
Size: 1,447,016 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_armhf.deb
SHA1: 89c04e5449e963dbb285501bd856698133032ea5
Size: 1,404,372 bytes

Submissions

Submitted
Fri, 9 Feb 2018 02:39:46 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (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="1505044342"