frama-c_20201209+titanium-4.1_amd64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 19 Mar 2022 13:43:42 +0000
Build-Path
/build/2/frama-c-20201209+titanium/2nd

First submitted
Sun, 14 Feb 2021 07:21:14 +0000
SHA1 of .buildinfo
8e29f52732d760c7d7ee62a3a154ff903433e33e

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_amd64.deb)
SHA1: dc40af0b04b5f5f5e4a6429bea63b07051ec3971
SHA256: 8faacbdae8e1ab94c2f04783cf819c33001515a1994e0d79d10dd913d06e45f9

Size: 60,634,640 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_amd64.deb)
SHA1: c6228a6e9dfcfc3c6b1dfbd5daaae509c36c8eab
SHA256: c609b837014b24acf85083800732932d75bc1f49d3aae2a4bc84ab174a6baea3

Size: 4,306,768 bytes

Other checksums

Submissions

dmqake7t
Submitted
Sun, 14 Feb 2021 07:21:14 +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="1613081371"