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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 20 Jun 2018 09:50:49 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Wed, 20 Jun 2018 10:54:20 +0000
SHA1 of .buildinfo
e7f4ba9f5e808ea96ea0909f7d288a400cf82672

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_armhf.deb)
SHA1: 7ebc53b5cef7d2b4aa87c94472439e2996a732f7
SHA256: 7b1759c9bbf5eaa1fb0ad5905391e6b5ba37db5a4f5bb492e9f91c3c7eb8eca1

Size: 12,032,876 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_armhf.deb)
SHA1: 0a580adbbb8be19ea0d2f64217850310478a2ab4
SHA256: c12fa33123029e27920d1957aa5b754f6187196f0898d0ee91068f1aabe884d0

Size: 22,291,140 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_armhf.deb
SHA1: ddb3134c1bd9438907886c8d77188a5634a5f1ee
Size: 1,462,572 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_armhf.deb
SHA1: 44964a35a0a7fc509a125f6f95ba33d48950087f
Size: 1,422,424 bytes

Submissions

Submitted
Wed, 20 Jun 2018 10:54:20 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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