Source
frama-c
Version
20161101+silicon+dfsg-6
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 27 Jul 2017 19:40:41 +0000
Build-Path
/build/frama-c-zoyUvZ/frama-c-20161101+silicon+dfsg

First submitted
Sun, 28 Oct 2018 03:21:45 +0000
SHA1 of .buildinfo
0d617cd46e87540af4967a01c775854796f3b675

Binaries

frama-c (frama-c_20161101+silicon+dfsg-6_i386.deb)
SHA1: 24923ea06da9873536a2f914941327d476da06f1
SHA256: a3b7007262315d34f810934e6d88404c15ea8edacb42c320afef162ad1e61129

Size: 10,111,018 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-6_i386.deb)
SHA1: ffb8ec1414cb5eaa1e205f309da88d4d955a8e4d
SHA256: b99e7a652dfb1b08b84d9d0c82a89a49b3c89b0597fd8845744b35452679535e

Size: 19,510,354 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-6_i386.deb
SHA1: 8eeed1dfb3a3f713dfb1f958d35ac7ceb253b604
Size: 1,063,116 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-6_i386.deb
SHA1: bb4f215d25242cca7fabc3663c5de94c1169cb1c
Size: 1,028,746 bytes

Submissions

Submitted
Sun, 28 Oct 2018 03:21:46 +0000
Signed by
0x69616CDA9356D1F3

Environment


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