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

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 4 Aug 2019 19:52:28 +0000
Build-Path
/build/frama-c-glbgN7/frama-c-20171101+sulfur+dfsg

First submitted
Mon, 5 Aug 2019 00:43:44 +0000
SHA1 of .buildinfo
bc4f55a8fd98335d709cef44e00738c0882945cc

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2+b1_armel.deb)
SHA1: 41b64cf599b4365d1f74ac4e1d6990149da47f03
SHA256: e491a9e1d008e97f78012115fe8ad90eced072eae904f52249c01793811e0379

Size: 13,937,316 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2+b1_armel.deb
SHA1: 83b9f3358d36b4cc18a41ce342e537dc5ae62486
Size: 23,132 bytes

Submissions

Submitted
Mon, 5 Aug 2019 00:43:45 +0000
Signed by
0x8D01D8A51F7D9F50

Environment


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