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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 3 Feb 2018 13:23:39 +0000
Build-Path
/build/1st/frama-c-20161101+silicon+dfsg

First submitted
Sun, 1 Jan 2017 07:30:46 +0000
SHA1 of .buildinfo
3fba64b585cbb76dbfca8ab582dfd72fbc8ccb2c

Binaries

frama-c (frama-c_20161101+silicon+dfsg-3_i386.deb)
SHA1: d2af1476b3bfc98d76d5eca1e32287320d011c7b
SHA256: ec0fdc0c3d8be245374d15d1b5cc99432e38d3d56202edec9e234c15d18c7ed1

Size: 10,102,182 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-3_i386.deb)
SHA1: 80a0cab179041c787110279bbb8a4fa57ad77865
SHA256: e8d289fa96100c20e89367d312517c91145df21801a62f620edc7b1f42691e7c

Size: 19,507,660 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-3_i386.deb
SHA1: 1b2b814da7a1dd784991a1985b6df53f572f87c5
Size: 1,054,868 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-3_i386.deb
SHA1: 28064503b0f4972c543385ffc79f24d830e44a52
Size: 1,022,808 bytes

Submissions

Submitted
Sun, 1 Jan 2017 07:30:47 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483227453"