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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 21 Apr 2021 03:31:34 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg

First submitted
Wed, 18 Mar 2020 21:15:23 +0000
SHA1 of .buildinfo
a5048a3d8790c2b83747b9aa61b35a85852cfe02

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_amd64.deb)
SHA1: 58f3d2ae53d1b04ca3c610bcca50dc9b6c547835
SHA256: 3cd915327b68b5ffee1d310961f9e0ae227695b73f411907ee8b7b957b66c479

Size: 22,293,064 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
SHA1: 2e48ff52d9f8ee6acfd3b88cd2ce6c2fe17a0bb7
Size: 1,571,380 bytes

Submissions

Submitted
Wed, 18 Mar 2020 21:15:24 +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="1542019482"