why_2.38-1_all.buildinfo (view)

Source
why
Version
2.38-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 12 Jul 2017 05:16:35 +0000
Build-Path
/build/why-2.38/2nd

First submitted
Wed, 12 Jul 2017 05:19:03 +0000
SHA1 of .buildinfo
8b1da5e84b8726040641c5d561b9557e1742cb95

Binaries

libwhy-coq (libwhy-coq_2.38-1_all.deb)
SHA1: e97d806cde4a80ce4c22c1032b5cdaa52370320f
SHA256: c835145a6103cd68a533f5d89e2c3ed56484806e6422c1bf8c42f6ee1a54a148

Size: 50,990 bytes
why (why_2.38-1_arm64.deb)
SHA1: bf813217593633e7259e5709beebf5194b35b51e
SHA256: dc8fc90f18f6fdd8544651a438a2dcf993942ef3bd18899f1fb53c2052d1950e

Size: 3,125,642 bytes

Other checksums

why-dbgsym_2.38-1_arm64.deb
SHA1: e87494ab800ec6a42d39a06f375db6becf98abfc
Size: 82,646 bytes

Submissions

or7apgkz
Submitted
Wed, 12 Jul 2017 05:19:04 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.38-1=/build/why-2.38/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1493015131"