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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 9 Nov 2019 05:32:27 +0000
Build-Path
/build/1st/frama-c-20171101+sulfur+dfsg

First submitted
Sun, 7 Oct 2018 00:45:51 +0000
SHA1 of .buildinfo
b81298b1039349b0c9d83b7eef157eb5a68872b8

Binaries

frama-c (frama-c_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 8a62981a528a30de7e8ce19a9633f30d0704dda1
SHA256: 71666d5ac6223d030df3931a8d6a5671cc6f41827be6e3c662eccbc8c820db09

Size: 12,350,600 bytes
frama-c-base (frama-c-base_20171101+sulfur+dfsg-1_amd64.deb)
SHA1: 157ce4171da26cc527705a6760b01257a21fc58f
SHA256: dafd7ce003a8c2208c39eec9808fa2f0122a7a89c171808bccf7ad5cba2bff73

Size: 22,324,196 bytes

Other checksums

frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 2436b9fa4867d24dfc20c4af31285170823147e9
Size: 1,597,444 bytes
frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
SHA1: 5578446dd38f67b1ee9613b9b443725c7b043ccb
Size: 1,574,976 bytes

Submissions

Submitted
Sun, 7 Oct 2018 00:45:51 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1526053176"