Source
frama-c
Version
20201209+titanium-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 14 Feb 2022 19:07:26 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Tue, 12 Jan 2021 13:16:24 +0000
SHA1 of .buildinfo
63a705ad664001744d202aa6e191f462abbddb0c

Binaries

frama-c-base (frama-c-base_20201209+titanium-4_amd64.deb)
SHA1: bd9b5beb92c7075a1fee797448425b7bf8ed23ae
SHA256: 4c1be6b324be4c94c3f63ec3678af972bf0369d99ae444fd4bf3ff6a12304da0

Size: 60,630,220 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4_amd64.deb)
SHA1: 8dc35f8a87f562ddd7c7d9b4b69f713530a73e85
SHA256: cb3be6b21cc22f25db049649f77b4bb15b74ea01e84765372177486451c66481

Size: 4,241,448 bytes

Other checksums

Submissions

Submitted
Tue, 12 Jan 2021 13:16:24 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1610392666"