cbmc_5.12-5_arm64.buildinfo (view)

Source
cbmc
Version
5.12-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 18 Oct 2020 20:00:35 +0000
Build-Path
/build/2/cbmc-5.12/2nd

First submitted
Sun, 18 Oct 2020 20:08:58 +0000
SHA1 of .buildinfo
30c21f055f43e09ffea435b667b775e9017eddfb

Binaries

cbmc (cbmc_5.12-5_arm64.deb)
SHA1: 975e34704d423ade9dd75d670675f7f65df3eec6
SHA256: 55cdb5ac9028964ac39588e265e5d10e6484aec530c02688e31e511cc7fe2cb8

Size: 13,081,052 bytes
cbmc-dbgsym (cbmc-dbgsym_5.12-5_arm64.deb)
SHA1: 0c831f4756b6b6cd205a363960eac3147a0933d7
SHA256: 2e143b27eabdca8af3d35e039de5ce3255bbe34bb9d2e98819f26038e884b552

Size: 490,390,376 bytes

Other checksums

Submissions

e9aweacw
Submitted
Sun, 18 Oct 2020 20:09:00 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1588594014"