Source
why
Version
2.39-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 15 Oct 2017 13:32:55 +0000
Build-Path
/build/why-2.39/2nd

First submitted
Sun, 15 Oct 2017 13:36:44 +0000
SHA1 of .buildinfo
169c66edbf85ebe3331ad3ec1329a53939d5fe87

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 13e4ac459c18e1b082964380d3547612e28bc9ab
SHA256: 0ff350f1f45b715fd26fd13140dfc4cc19bad2414ca68310db2aab089604042e

Size: 51,056 bytes
why (why_2.39-2_armhf.deb)
SHA1: e153199ffc2f0b26a037236469c33ed8f73104ac
SHA256: 94c2769fa8d1b861280bdd3e5d0095187307199ee071fbb9bb928116c4b14bf1

Size: 3,306,278 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: 8d412c4116064970689026de4b6c6b7ae2022be4
Size: 101,278 bytes

Submissions

Submitted
Sun, 15 Oct 2017 13:36:45 +0000
Signed by
0x9286832C95410989 p64b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.39-2=/build/why-2.39/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507789552"