frama-c (20170501+phosphorus+dfsg-2)_20170501+phosphorus+dfsg-2+b1_i386.buildinfo (view)

Source
frama-c (20170501+phosphorus+dfsg-2)
Version
20170501+phosphorus+dfsg-2+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 26 Sep 2017 15:48:11 +0000
Build-Path
/build/frama-c-cAqlbZ/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 12:48:22 +0000
SHA1 of .buildinfo
e6f7d99c37af28715b2db4e4e622cfeceec7d773

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2+b1_i386.deb)
SHA1: 3167fbbe5f8e67ac347a77fac4d12a4eca2c5733
SHA256: 0d7b17bba9ed47ccdc991152247a546abe087c74270e6f4a2f4bddc9b4838c0c

Size: 11,156,830 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2+b1_i386.deb)
SHA1: 5da3d03af0fd7a29a41f3d2241423946c2202e85
SHA256: 299694415683eaac9009ae152b22816346c0f7d708c9d3d2a4dfa3459cf81d4e

Size: 21,221,990 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2+b1_i386.deb
SHA1: a963a545d8bd9658a766275ffce2d63835470c91
Size: 1,527,538 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2+b1_i386.deb
SHA1: 824d8d4dd4515140f01c3daaca270a85f2ac55df
Size: 1,512,824 bytes

Submissions

ecpnpavm
Submitted
Sat, 27 Oct 2018 12:48:23 +0000
Signed by
0x69616CDA9356D1F3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1506440596"