why_2.38-1_all.buildinfo (view)

Source
why
Version
2.38-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 23 Jun 2017 18:06:03 +0000
Build-Path
/build/why-2.38/2nd

First submitted
Fri, 23 Jun 2017 18:20:31 +0000
SHA1 of .buildinfo
cb952d05b0c49aec76b622929c7b8a995fd9f800

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: 9f9e6ee45dc3bc3084bd2ca3def3190b7c5f76be
SHA256: c450b80fa33294395d97a5f02632f2e158a6367b523ba07e266effc9246e0b69

Size: 3,124,036 bytes

Other checksums

why-dbgsym_2.38-1_arm64.deb
SHA1: f743b4e29547a032ef50fda2ee4c1591fdbb09f2
Size: 82,696 bytes

Submissions

x3wues94
Submitted
Fri, 23 Jun 2017 18:20:31 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"