coq (8.9.0-1)_8.9.0-1+b1_ppc64el.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 29 Jul 2019 08:34:08 +0000
Build-Path
/build/coq-2tjJOU/coq-8.9.0

First submitted
Mon, 29 Jul 2019 12:43:54 +0000
SHA1 of .buildinfo
e6ef08dfd0255bfaabd91dec2dce8e0d55003a67

Binaries

coq (coq_8.9.0-1+b1_ppc64el.deb)
SHA1: 5e1efe6ebd7ca5d55cab437c15054c9263f80b8b
SHA256: 5e7db10fc83f30fe6e0aa513fcc31f8b6ca17706fa2aa5a239aaf3fea9bf0010

Size: 60,365,948 bytes
coq-theories (coq-theories_8.9.0-1+b1_ppc64el.deb)
SHA1: 3b0e7ecab33e7d58cf8a163b9b3737a72c8985b0
SHA256: 17f63cbdee711fdb22bf609af8ed2fc0b96f15294a0cfc6d0d48247410001a97

Size: 20,369,680 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b1_ppc64el.deb)
SHA1: 09e8d139c96d63d8c21108a73ea53c0314fc401e
SHA256: 75fb46a945b0c75b98eb0eef485f71248b2843079d08a0d83539a4ea9585c9e1

Size: 5,630,188 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b1_ppc64el.deb)
SHA1: d50e140c013ce9ea60c543cca159d4ff71cd700b
SHA256: 8bb87dbe9210ad684e599e861475ec0748d0366ab1a0fc0428e4b8daa93591b3

Size: 14,138,540 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b1_ppc64el.deb
SHA1: 3ec245b48ac3ca87e74c6c0a7b2ecce9ec7c31d2
Size: 454,696 bytes
coq-dbgsym_8.9.0-1+b1_ppc64el.deb
SHA1: 7105bf68d8de7e8a8c5d41797a46df819c96b910
Size: 2,837,828 bytes

Submissions

sgw4jgzc
Submitted
Mon, 29 Jul 2019 12:43:54 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1564388163"