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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 2 Sep 2017 12:44:35 +0000
Build-Path
/build/frama-c-20161101+silicon+dfsg

First submitted
Sat, 2 Sep 2017 12:52:53 +0000
SHA1 of .buildinfo
4382dbe9b9a1dcf8668cb8b12aa287fe4a71bf3b

Binaries

frama-c (frama-c_20161101+silicon+dfsg-6_amd64.deb)
SHA1: 1a01dc619f88fc175550458e0df912636060e831
SHA256: fc4439800d9dd459435ab66601a36efd964996f539f76919338dc333c2248672

Size: 10,633,624 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-6_amd64.deb)
SHA1: 04783b88e4d2b3fd81c3da906a16dee242ad26ec
SHA256: 8780f145e44ecace7d9b70ce16f17584e94ecc5e716616200bc0cd6b75e93783

Size: 20,005,028 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb
SHA1: e8f48ada108d5ae6450789c74cc2fd9aa2216d44
Size: 1,079,988 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb
SHA1: 3f17f24e12be7a91cbabf3410124cf7ec63527a2
Size: 1,032,590 bytes

Submissions

Submitted
Sat, 2 Sep 2017 12:52:54 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1501175020"