why_2.39-2_ppc64el.buildinfo (view)

Source
why
Version
2.39-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 12 Oct 2017 21:30:34 +0000
Build-Path
/build/why-MDykep/why-2.39

First submitted
Fri, 26 Oct 2018 10:06:34 +0000
SHA1 of .buildinfo
c811728b8d0dca4ee30f1337471f86dbfc09031c

Binaries

libwhy-coq ()
why (why_2.39-2_ppc64el.deb)
SHA1: 0461216d1b393b15431a8a0fb92d7c8773fb6df9
SHA256: 572dd2f10c737d3085391c695e987b908e22811fc8c64f07fe30fb85c2195a7f

Size: 3,627,464 bytes

Other checksums

why-dbgsym_2.39-2_ppc64el.deb
SHA1: 15d3f70df6d1f9efc6b306581bcd9ea87e987f3f
Size: 92,066 bytes

Submissions

vk7xxwti
Submitted
Fri, 26 Oct 2018 10:06:34 +0000
Signed by
0xE11E66A5C07A2DC2

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1507789552"