why (2.40-3)_2.40-3+b1_ppc64el.buildinfo (view)

Source
why (2.40-3)
Version
2.40-3+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 21 Nov 2018 16:34:51 +0000
Build-Path
/build/why-RcwF3n/why-2.40

First submitted
Wed, 21 Nov 2018 18:14:55 +0000
SHA1 of .buildinfo
31f0138874a29e853778fd1cfe6283e255dd8855

Binaries

libwhy-coq ()
why (why_2.40-3+b1_ppc64el.deb)
SHA1: c1af117907cee314824c4ed7567a9adb4cda4e7c
SHA256: 879ae1e1ceaaf748215eb8a0c92d62bbabaed7f140136f3e86122974ca1c268c

Size: 3,559,024 bytes

Other checksums

why-dbgsym_2.40-3+b1_ppc64el.deb
SHA1: 11ef57486e1776d0f4643c67004e44e6f3b38c7b
Size: 91,100 bytes

Submissions

kyrosxcd
Submitted
Wed, 21 Nov 2018 18:14:56 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


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