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

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 12 Aug 2017 04:19:17 +0000
Build-Path
/build/frama-c-PAZgIE/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 16:05:50 +0000
SHA1 of .buildinfo
c112366ca1ad7179a1be1342781ee39aa43d2852

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-1_armel.deb)
SHA1: 60dd300369d7b6a098c0aff8ced5169a1bf4efe6
SHA256: 4cb53f3f2001c50b8cf727bfdfab1f05a4332e5690398b636443940bece131e0

Size: 11,329,764 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-1_armel.deb)
SHA1: eb646b0de8efd01717550a57a8b4aafe42c1a95e
SHA256: c5ca1a686d7c330ccf980fa38b66805d7f6bc67752a3ba300b425a3fdec4d2fa

Size: 21,650,920 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-1_armel.deb
SHA1: 364250fc779e8709616d3c1f299e7ef627fc8ad2
Size: 1,187,732 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_armel.deb
SHA1: 5484e9e11d4e8835a48adea85054d866f754b233
Size: 1,146,740 bytes

Submissions

Submitted
Sat, 27 Oct 2018 16:05:50 +0000
Signed by
0x0274B3BCF3C295A1

Environment


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