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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 13 Mar 2019 21:11:02 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Wed, 13 Mar 2019 21:12:56 +0000
SHA1 of .buildinfo
75574361e3795a836cf9f7b392ea12c32ed8f871

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_armhf.deb)
SHA1: 9cee3522f29c384908e7f79dc4e508e098c09748
SHA256: 9662a7b2d99b92c8c1997942d604e3eda70ece5e417b61d9ec5adc6b3d25e22f

Size: 22,258,528 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_armhf.deb
SHA1: 45839aed8cadc848adedfa1a6790c505760b023a
Size: 1,416,224 bytes

Submissions

Submitted
Wed, 13 Mar 2019 21:12:57 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (Automatically generated key for signing .buildinfo files)

Environment


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