Source
frama-c
Version
20170501+phosphorus+dfsg-2
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 10 Sep 2017 11:58:50 +0000
Build-Path
/build/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 08:36:44 +0000
SHA1 of .buildinfo
eece2f34f08424d2976401b7068582108d59172c

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2_amd64.deb)
SHA1: 35963be85f276a4b3eb9e44643f3b2ce72ea7db2
SHA256: f4a6155366bf7d5aa6507bdcf9510c1a9ac2cf745b6ff5eebd24fed2217e18b6

Size: 11,106,130 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb)
SHA1: c7292448b94175c5cc3f4a16cec6b71c523c5f1c
SHA256: 3d9805e02a362f41f4d14c0027597981ba94774f464b1b94749af61a8214df90

Size: 21,037,764 bytes

Other checksums

frama-c_20170501+phosphorus+dfsg-2.dsc
SHA1: a16ceeaa3f45fa08d860f974a18078437caaa0c2
Size: 2,429 bytes
frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
SHA1: 3dae40b7b849bf47f670770e47476797031ed01f
Size: 1,124,040 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
SHA1: a8432df7ec063f7586e89ba218d5d59d9277f4b4
Size: 1,090,328 bytes

Submissions

Submitted
Sat, 27 Oct 2018 08:36:45 +0000
Signed by
0x33BE1A0A8C2ED8FF Mehdi Dogguy <mehdi@dogguy.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C"
LC_ALL="C"
LC_MEASUREMENT="fr_FR.utf8"
LC_MONETARY="fr_FR.utf8"
LC_NUMERIC="fr_FR.utf8"
LC_PAPER="fr_FR.utf8"
LC_TIME="fr_FR.utf8"
SOURCE_DATE_EPOCH="1505044342"