Source
frama-c
Version
20171101+sulfur+dfsg-1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Sun, 17 Jun 2018 18:50:04 +0000
Build-Path
/build/frama-c-T1ihp0/frama-c-20171101+sulfur+dfsg

First submitted
Fri, 26 Oct 2018 05:54:25 +0000
SHA1 of .buildinfo
c8ae56022947551ab44b7fcb26220dc8fc56409d

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_kfreebsd-i386.deb)
SHA1: ab3ca40ae2cd481f0396df15cf322866ab0d7bc0
SHA256: a4511f3346a8525579d4d383859eb15af7feb58f2cb689d7cf9fbc793095c727

Size: 11,482,232 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_kfreebsd-i386.deb)
SHA1: 5deeeaab0b066c75fd7b85fd407d0c8d24eb69d2
SHA256: 239d389d63b929107098b331f0669b86b4062b0faf2edf838303d8104f208c46

Size: 20,984,628 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_kfreebsd-i386.deb
SHA1: 1cce19229fd11b14b0285836024b1b61bffc6bd4
Size: 1,540,296 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_kfreebsd-i386.deb
SHA1: 9ed8ba1d1f6f3dbd23faf7dacf4018a5f7715c47
Size: 1,483,532 bytes

Submissions

Submitted
Fri, 26 Oct 2018 05:54:25 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1526053176"