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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 26 Sep 2017 15:46:19 +0000
Build-Path
/build/frama-c-9XAWrU/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 12:48:24 +0000
SHA1 of .buildinfo
03e3c9a8fb62d15f6e75f65105921e655c1f0389

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2+b1_s390x.deb)
SHA1: cd5532c30e150fbe787444bf115010925177d3c3
SHA256: 9e94d48586341bd28bb0fe7f5c65372b3047b62ba7f3ee8463cfd92a2aa214a9

Size: 12,242,012 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2+b1_s390x.deb)
SHA1: 548113fdf27b43efbc4a1b8c8a5b88290a1da364
SHA256: 735b64ae8fc85438fbe6b55b823370d8016bd933c433fe17216a26d216e06129

Size: 22,443,096 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2+b1_s390x.deb
SHA1: a3524bf002dc59f1fedfe75401d52ff02854f57f
Size: 1,288,462 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2+b1_s390x.deb
SHA1: b2fecdfb2f0f0eeb32161cbd61addc2e31858209
Size: 1,258,288 bytes

Submissions

Submitted
Sat, 27 Oct 2018 12:48:24 +0000
Signed by
0x4CC106A8602C42E7

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1506440512"