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

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Thu, 27 Jul 2017 19:55:13 +0000
Build-Path
/build/frama-c-xe7yQB/frama-c-20161101+silicon+dfsg

First submitted
Sun, 28 Oct 2018 03:21:46 +0000
SHA1 of .buildinfo
35b6321622942b1e0646fc90e9718a294d13bc17

Binaries

frama-c (frama-c_20161101+silicon+dfsg-6_mips.deb)
SHA1: e64feac693438123ad571bdb42e69bc2a4b57c17
SHA256: 8acde18c017cb32f5ce7da4e5902edbe7c3fc419b7f8eb1c14c0876267828f6f

Size: 2,168,182 bytes
frama-c-base (frama-c-base_20161101+silicon+dfsg-6_mips.deb)
SHA1: e700ff2cd1bacee29715110011e349e326a10947
SHA256: f4988845206d09adfa7614c429fde54d66a7efc6720fd7733b306609b45dbd9e

Size: 8,149,066 bytes

Other checksums

frama-c-dbgsym_20161101+silicon+dfsg-6_mips.deb
SHA1: 4c54c961d96efd2b37079b8683af57241e862cf3
Size: 57,394 bytes
frama-c-base-dbgsym_20161101+silicon+dfsg-6_mips.deb
SHA1: a81070f5d12b7109777c28c6e997c62caa84ca5b
Size: 20,148 bytes

Submissions

Submitted
Sun, 28 Oct 2018 03:21:47 +0000
Signed by
0xB56AD21C06EA3A49

Environment


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