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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 3 Jan 2021 07:06:23 +0000
Build-Path
/build/2/frama-c-20201209+titanium/2nd

First submitted
Sun, 3 Jan 2021 07:07:02 +0000
SHA1 of .buildinfo
bf3aae1aba02a7181fabdce30d97f6a6edd147a9

Binaries

frama-c-base (frama-c-base_20201209+titanium-1_amd64.deb)
SHA1: 6ea8f379bfe730ca01a3d1a98af39627e4a3ee86
SHA256: db03278e40b73e49702b4d35ccff7d5835b86bf558701498867384e3411c3ec9

Size: 60,640,636 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-1_amd64.deb)
SHA1: 15c5d530039fd6d74a2542f9a8bde3efb6dc1787
SHA256: d177f46d3cf3ae1e743bc03150d428129b5632b8b632001c2eb7c69ef79f8baf

Size: 4,196,968 bytes

Other checksums

Submissions

Submitted
Sun, 3 Jan 2021 07:07:02 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609581557"