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

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 5 Aug 2019 23:14:51 +0000
Build-Path
/build/coq-avrGg3/coq-8.9.0

First submitted
Tue, 6 Aug 2019 02:33:16 +0000
SHA1 of .buildinfo
b1ef5b529b0ab23910fd244404588bd993be9e8d

Binaries

coq (coq_8.9.0-1+b2_mips.deb)
SHA1: 3cf4d7e67e1f95fcdf06db10f0dc4f0927560792
SHA256: 9e1e76a6e5866d76899f935d8aa5f30784b978ebe3e507f872375f6c7ea98aff

Size: 50,043,724 bytes
coq-theories (coq-theories_8.9.0-1+b2_mips.deb)
SHA1: 163181f344f377249985d550bd4b10bef155bed7
SHA256: 1c4b6f2df6f97d6886c7409523bca02c47d1ddcde84026662beb7dbffebd8ee1

Size: 20,359,916 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_mips.deb)
SHA1: c744e61ec7f9d0e34f47db51ee8a51eeaf8dbd93
SHA256: 2b4b8d2985ba374aeec5501c52655e07773d1a9e4c7eb9aee0faa410f52c208d

Size: 3,628,940 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_mips.deb)
SHA1: ca826b97b378f355cae24b925ecf9706e945b49b
SHA256: 2ed9be5765924cd4043df7bb34a701e40a7dd282363fdeba0b10fc39d30f1042

Size: 7,960,408 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_mips.deb
SHA1: 64fc7d98ed9897da0fd92bf0af0888e31095e346
Size: 26,880 bytes

Submissions

gvvdwavx
Submitted
Tue, 6 Aug 2019 02:33:16 +0000
Signed by
0x0AC554D0DA0DAD66

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1565023051"