why_2.38-1_all.buildinfo (view)

Source
why
Version
2.38-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 12 Jun 2018 20:11:09 +0000
Build-Path
/build/1st/why-2.38

First submitted
Wed, 10 May 2017 13:56:39 +0000
SHA1 of .buildinfo
c236d21bad621470a0b5640f77e78010c2d8832d

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: 52796a7613a30848762af713ae0a5d6d07f14a44
SHA256: e000369bbc29e35989f2f724165b22250b1854d861aead3ff41035557df325b6

Size: 3,126,566 bytes

Other checksums

why-dbgsym_2.38-1_arm64.deb
SHA1: 06a42f1b90eec1fb10ac67ceba7bdecd4429d789
Size: 81,966 bytes

Submissions

49dbswbi
Submitted
Wed, 10 May 2017 13:56:40 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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