cbmc_5.12-5_arm64.buildinfo (view)

Source
cbmc
Version
5.12-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 26 Aug 2020 00:31:48 +0000
Build-Path
/build/1st/cbmc-5.12

First submitted
Wed, 26 Aug 2020 07:30:08 +0000
SHA1 of .buildinfo
a3156a6c0e25b254e6f42d5dcddc9c68ff8268d2

Binaries

cbmc (cbmc_5.12-5_arm64.deb)
SHA1: abdc9bd0e3aa1c79bf33930b6a935581ad234124
SHA256: 63e4a6e0f6025cdf69ea46b8f20a8711d24bd12cb629e07202ef64fcbf73bbb6

Size: 13,099,284 bytes
cbmc-dbgsym (cbmc-dbgsym_5.12-5_arm64.deb)
SHA1: c30f6999a392b64c58c6d521b74eabee7ab7d812
SHA256: c4cb408713e45b2de440727691d9f97671125e66cfa1c5d4b4b4edd4e414daf3

Size: 490,381,368 bytes

Other checksums

Submissions

qpemjmvy
Submitted
Wed, 26 Aug 2020 07:30:09 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"