Source
frama-c (20170501+phosphorus+dfsg-2)
Version
20170501+phosphorus+dfsg-2+b2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 7 May 2018 10:45:40 +0000
Build-Path
/build/frama-c-UDbV9G/frama-c-20170501+phosphorus+dfsg

First submitted
Fri, 26 Oct 2018 11:09:23 +0000
SHA1 of .buildinfo
be0b7bea211590c3256cbec95ee9ab631a132b18

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2+b2_mips64el.deb)
SHA1: ad416ca7a78000dbae9de8fe07c4aa7ec4d357ad
SHA256: f9a1df1dd29e45d69da92a86310d879921fc93b6b4af5ac038497e23979df173

Size: 1,779,176 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2+b2_mips64el.deb)
SHA1: 5676399c43857bda65e25ac73e66da01b51bdaa4
SHA256: 0701f9bfab02a2fdb3f1fc333320d328a4aed30645e66d9a9460b4fc45f63f84

Size: 13,753,336 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2+b2_mips64el.deb
SHA1: 4c3e59c58c3d2e42ca4594656ae22bcd91412ee7
Size: 62,412 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2+b2_mips64el.deb
SHA1: 9ed8af9c6112ffa92d2745efbaa6a83485988f52
Size: 23,408 bytes

Submissions

Submitted
Fri, 26 Oct 2018 11:09:24 +0000
Signed by
0x914369D93E8BE603

Environment


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