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

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Mon, 12 Nov 2018 13:59:05 +0000
Build-Path
/build/frama-c-TSqcEf/frama-c-20171101+sulfur+dfsg

First submitted
Tue, 13 Nov 2018 07:13:48 +0000
SHA1 of .buildinfo
a71e7ac9118249a92c15f1ec501dcb3691065817

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_armel.deb)
SHA1: 06b4638d3e0ae32fc3e7e1e155b31437434c56cf
SHA256: 1c595e0e5a2cc41e2c8ad6f77c6518e0c10aa4ea588700a96cf2a8b1e34201be

Size: 13,941,620 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_armel.deb
SHA1: dc28bb2bece0a0fee97252db3cbf1982ceffa240
Size: 23,088 bytes

Submissions

Submitted
Tue, 13 Nov 2018 07:13:48 +0000
Signed by
0xC0781E3B2657E942

Environment


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