Source
frama-c
Version
20170501+phosphorus+dfsg-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 10 Sep 2017 18:05:43 +0000
Build-Path
/build/frama-c-yG51i1/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 08:43:20 +0000
SHA1 of .buildinfo
44754b607360a6c9f83ce4184759f5b974bea7c8

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2_armel.deb)
SHA1: 4a15922dd5417d88c029aa71e1c0f79aed672e37
SHA256: f6166fc6c788f9f4c3ac6a70b825398278609bede40b6869c2e1897f2154ae8d

Size: 11,326,468 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2_armel.deb)
SHA1: 654c36409975c62366b26a44ea53ec3299be784f
SHA256: 4c2189ca7c0da126e1b0065be5a6fd76bdf21680636fe9076de563949633af29

Size: 21,643,910 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2_armel.deb
SHA1: 50aaf174f4ccdb7a36ef0622dad3d8b52bfe23f7
Size: 1,184,440 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_armel.deb
SHA1: f9141fc8d0962b599b122cba2b73a856a211b1e0
Size: 1,143,610 bytes

Submissions

Submitted
Sat, 27 Oct 2018 08:43:20 +0000
Signed by
0x9B1376D7888B346A

Environment


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