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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 8 Jun 2020 20:06:33 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Mon, 8 Jun 2020 20:08:39 +0000
SHA1 of .buildinfo
706bd9d0d043e6c33672f40cd77f80a5b734a3c5

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_armhf.deb)
SHA1: ecea4b1279d48060f8fe6f3ab58c37c81a63bfe9
SHA256: 5f33bb44242b83b815960cef822267fa396e6ad4ea4d0a686df01e302a76aaaf

Size: 22,256,648 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_armhf.deb
SHA1: 8f430e76b9715168f8b2fee82cc2b72e73be4157
Size: 1,418,364 bytes

Submissions

Submitted
Mon, 8 Jun 2020 20:08:39 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1542019482"