coq (8.9.1-2)_8.9.1-2+b1_mipsel.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 5 Dec 2019 17:12:24 +0000
Build-Path
/build/coq-C5tA6I/coq-8.9.1

First submitted
Thu, 5 Dec 2019 20:52:46 +0000
SHA1 of .buildinfo
a3fe3789533f121d621e4eceb3a6508da2f78d59

Binaries

coq (coq_8.9.1-2+b1_mipsel.deb)
SHA1: c756c596693cc2bba49fdb4581b7052097c612e6
SHA256: 8701b29b2080a1aed30035ae474c2053ae5cc63e8d3f58d5967173558171cdca

Size: 55,162,360 bytes
coq-theories (coq-theories_8.9.1-2+b1_mipsel.deb)
SHA1: d63e6da94cb1e804388caf8aec826b9dfc69f909
SHA256: 5511e313e17146bcc99829c242437c16bfab960e4c3e1677fbb0b9ba3a5d6fc9

Size: 20,355,784 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b1_mipsel.deb)
SHA1: 5cd5a5158d8cc50daea9702190143028d14546bb
SHA256: d58e8740fd02f24412db1f6d8e7c3f21515c26eb1f2e3ba4bb828fdd891d2266

Size: 3,807,992 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b1_mipsel.deb)
SHA1: 1dc570ca278e26491b4212135649b9227026af09
SHA256: 822f77ba47101b9999ee6e808a2978e264deb9ac9db663ecb1e17d02842f6bc4

Size: 8,231,820 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b1_mipsel.deb
SHA1: 232d545eadf5307edb91a239499a70682b558d66
Size: 26,328 bytes

Submissions

evkrcray
Submitted
Thu, 5 Dec 2019 20:52:47 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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