coq (8.9.1-2)_8.9.1-2+b2_ppc64el.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 30 Dec 2019 05:08:53 +0000
Build-Path
/build/coq-jyhkBv/coq-8.9.1

First submitted
Mon, 30 Dec 2019 06:42:02 +0000
SHA1 of .buildinfo
71e216cfe2591bf128f8bc55f5f697db06722e48

Binaries

coq (coq_8.9.1-2+b2_ppc64el.deb)
SHA1: 77234d496c3f4e8813798989ff9e6ef7835e0fbf
SHA256: 068fe53953daee4d1840385c2f4479b6a4d1ae2ae4db908e5cd38786545879f1

Size: 63,644,016 bytes
coq-theories (coq-theories_8.9.1-2+b2_ppc64el.deb)
SHA1: 0f761fd6523c6ed9dbea36ac2e6340aa248af30c
SHA256: 79036fd6cf6148d990a0aed7c86156e87337d33ef80121f72b21dd97e86cadd9

Size: 20,373,928 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_ppc64el.deb)
SHA1: bc60f657016ecb2aa0fb6b72f7abf0d75d05fc38
SHA256: 7ce4dfa22dac583623879ce4db6ce6cf371bebe065f2e9a6fbbadde19e861553

Size: 5,806,100 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_ppc64el.deb)
SHA1: 0eeddd714712d8d5138c02dafd7478129613f8ec
SHA256: 3232f70e415f46f7ca50408c7b661c0328a0d2eac4def0ea4528d11c90f113e5

Size: 14,493,368 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_ppc64el.deb
SHA1: c64df30628a31f483a6e06ab69895c0cb4f3a144
Size: 470,652 bytes
coq-dbgsym_8.9.1-2+b2_ppc64el.deb
SHA1: 91e02ab2a8bb02380ad9801c0decd800d7c29b85
Size: 3,670,432 bytes

Submissions

3pwnemoa
Submitted
Mon, 30 Dec 2019 06:42:03 +0000
Signed by
0xAA4B2251A9397852

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577681247"