Source
frama-c (20171101+sulfur+dfsg-2)
Version
20171101+sulfur+dfsg-2+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 4 Aug 2019 20:26:58 +0000
Build-Path
/build/frama-c-s0x7UF/frama-c-20171101+sulfur+dfsg

First submitted
Mon, 5 Aug 2019 01:23:18 +0000
SHA1 of .buildinfo
1494d1c8b81a617987efc361011f1f2501423d0d

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2+b1_mipsel.deb)
SHA1: 825d9a1664efad6eb75f1c9c607e4e5058a4335f
SHA256: f1ed5e180ab2af4245fe3eb352bdd8fc623ba1564f62a8e9ffecced3fe5b1329

Size: 13,955,816 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2+b1_mipsel.deb
SHA1: 894543d4edf502dc223fd9e549524533a619150f
Size: 21,908 bytes

Submissions

Submitted
Mon, 5 Aug 2019 01:23:19 +0000
Signed by
0xC0BF082DA8AD6020

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1564949574"