coq_8.9.1-2_mips64el.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 9 Nov 2019 09:48:11 +0000
Build-Path
/build/coq-xbQtH2/coq-8.9.1

First submitted
Sat, 9 Nov 2019 13:05:44 +0000
SHA1 of .buildinfo
67b90d26305518a48acf4846c77e1b080c511893

Binaries

coq (coq_8.9.1-2_mips64el.deb)
SHA1: 6428a3960c8e01191fa43f372690bd4017a8be38
SHA256: 6455946ce973542f4842b70eeaf5389270cf1d576abdde5c41c4ed4c3215b448

Size: 55,161,688 bytes
coq-theories (coq-theories_8.9.1-2_mips64el.deb)
SHA1: c5bf22d7cad47b4c4eabe97998a213d9e3ef806a
SHA256: 6e7f8153a18fbed50933c7d717c29977af6c832343fb99f51192e674c47c1ae1

Size: 20,369,172 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_mips64el.deb)
SHA1: 0c31976a234213e1aac1da33845a9f8656790b0a
SHA256: 6b81c0d664cffba3f776cebadb68dde9148dfca3a7ef8f2a59c207763d8128c0

Size: 3,805,172 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_mips64el.deb)
SHA1: a56aabd1d60ed1c6fc177685dbc78291d39c21b0
SHA256: fc2bc859ca57c777df2f508f04062c448d3eed605ee263c563864475f437c6d1

Size: 8,232,124 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_mips64el.deb
SHA1: 90d9328891ad08f7c02cb528872463adf97df46c
Size: 26,716 bytes

Submissions

qinyrzd7
Submitted
Sat, 9 Nov 2019 13:05:45 +0000
Signed by
0x18D9A606FC5C4C87

Environment


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