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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 18 Sep 2019 00:47:15 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Wed, 15 Aug 2018 18:42:17 +0000
SHA1 of .buildinfo
b8fdfb39284aeea694f778e0e45c9b2ee461343b

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_i386.deb)
SHA1: 029fc77991229efecc0204e078f5a21632b6ac2f
SHA256: 894845ebe4487eb399ed162f4f2a935f2b6bbe53001dd3d433553e0a90c6177a

Size: 11,487,032 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_i386.deb)
SHA1: 6c61fa25d34b33f3a947724839132255107e5816
SHA256: 43612e46628521d43de54342cc2fbea2001fcd730af0f901ac090e7b4bcb9f0c

Size: 21,438,160 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_i386.deb
SHA1: 3d60e9c66e6616b3a3373bc16b8a302ecc3e1b5f
Size: 1,542,084 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_i386.deb
SHA1: 04af4fe29cc8c74c54ed7cf0923679b9a40df679
Size: 1,526,848 bytes

Submissions

Submitted
Wed, 15 Aug 2018 18:42:17 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526053176"