coq_8.12.0-3_mips64el.buildinfo (view)

Source
coq
Version
8.12.0-3
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 10 Sep 2020 23:27:11 +0000
Build-Path
/build/coq-JdJ3CU/coq-8.12.0

First submitted
Fri, 11 Sep 2020 00:16:02 +0000
SHA1 of .buildinfo
82e26fd325036a55fd51ccd8436aeb24acc6bb98

Binaries

coq (coq_8.12.0-3_mips64el.deb)
SHA1: 335ee159e085596f0978732b88c62b31ef55eca2
SHA256: 13597526d210809845365f827c3792ab49d63b6eb0e1808de635733ee4f562f3

Size: 89,988,440 bytes
coqide (coqide_8.12.0-3_mips64el.deb)
SHA1: 98e5dbe637d332e856bb876102453d24c58148c6
SHA256: a5c5cfc591c8a2d9970d03a23d967880dab45e9ceac377746517743bcc701dcb

Size: 46,472 bytes
coq-theories (coq-theories_8.12.0-3_mips64el.deb)
SHA1: 1f89b31dee635eab3002e8a60b15c738c16ba3fb
SHA256: abce35ec34e93055288bcdd4489b2332cf8e1e72d6ff47b3dfe86a7698f021f6

Size: 23,922,080 bytes
libcoq-ocaml (libcoq-ocaml_8.12.0-3_mips64el.deb)
SHA1: 5daf44604158e2b7830a28d2a751baf6defc97a1
SHA256: 38d93bf052585c4ed157942727bfe486603fe1a0df6842c6964236719372bad1

Size: 4,590,916 bytes
libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_mips64el.deb)
SHA1: 28887566c70883646bee1c6c7862a453412bc692
SHA256: 11d1c0d87920286a791716b4de407fb32c7da35a91903129beef6f02041aedf5

Size: 28,100 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_mips64el.deb)
SHA1: 59477376fd73fed28c5111fd728a6f0d1e797724
SHA256: c92e9cb9a6881353d09182f600445870e0dffa99e599b8ba284e0b7e2e8b8781

Size: 9,702,596 bytes

Other checksums

Submissions

r4nncj9r
Submitted
Fri, 11 Sep 2020 00:16:02 +0000
Signed by
0x5260FA8021822BBF

Environment


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