coq_8.9.0-1_ppc64el.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 6 Feb 2019 19:50:42 +0000
Build-Path
/build/coq-SnxTab/coq-8.9.0

First submitted
Thu, 7 Feb 2019 00:11:31 +0000
SHA1 of .buildinfo
71d59842bb6787b77fa0a8afa531a26c9ce92c47

Binaries

coq (coq_8.9.0-1_ppc64el.deb)
SHA1: c339447471ed0e859fc7354f6ce465a5285083a9
SHA256: 5590da8e1b6bc72c38b1cf3ee33c0576b507d82e17992d3aba2e9d3931672ee4

Size: 60,343,172 bytes
coq-theories (coq-theories_8.9.0-1_ppc64el.deb)
SHA1: f64b4c9150eeb36630ade3c4be3f006bb5a0c6e4
SHA256: f98b1b70c55da84b5a71a4c6bf68b352d6ab9977c98200263ef2894b9c560585

Size: 20,367,644 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_ppc64el.deb)
SHA1: 8a5c9849e799f778f7d527641e14ed8645561457
SHA256: eb52602a2a55f554c211107e8494e7f77eea062f4102fd99cbb73582b861a709

Size: 5,568,956 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_ppc64el.deb)
SHA1: b4fdba2992b78eac5a52d8c7891dce889c1af29c
SHA256: 63ece43e9c4be8adac74ff721c9486ab2e87e63b1c9146fb991420fc4c52cd5b

Size: 14,094,956 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_ppc64el.deb
SHA1: b36ec3fb09c38535ad845a8d12f7c0b0b0a4a41e
Size: 453,716 bytes
coq-dbgsym_8.9.0-1_ppc64el.deb
SHA1: d2eb43f6e6c6a8c4f7da2ed906f2b13b72b7c84a
Size: 2,820,604 bytes

Submissions

wrsdgpms
Submitted
Thu, 7 Feb 2019 00:11:32 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


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