coq_8.9.0-1_mipsel.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 7 Feb 2019 00:48:57 +0000
Build-Path
/build/coq-6oPVeU/coq-8.9.0

First submitted
Thu, 7 Feb 2019 06:10:22 +0000
SHA1 of .buildinfo
f7c387fbdff563464759622d077d3637ddffa3fa

Binaries

coq (coq_8.9.0-1_mipsel.deb)
SHA1: d25870a033e84f6724cd1221424040ef66167bb2
SHA256: 778cbb8a2e74747a15f7df174450d52d488f23f2b923afe778dffdd6242dcb3b

Size: 50,022,696 bytes
coq-theories (coq-theories_8.9.0-1_mipsel.deb)
SHA1: 9824d665cc9cade1ffb9031031362ccc2c388022
SHA256: 6160ad64dd46d732e89c36f8ec41f1b7e5891290c9864ecbbeac77a3411a6432

Size: 20,357,060 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_mipsel.deb)
SHA1: e33c964389a1ff82d7d006d5270e087ea9cc3640
SHA256: 38f13b21016f2b75b10eb3b4fca6cef495637d971b17aa6ab0d5b67e501967a2

Size: 3,581,564 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_mipsel.deb)
SHA1: bade98b7940f13d4730ea75304a6da1c71038193
SHA256: a4a5a72996ed786f475aff007459f703990caac929e1445f3fa9a453e9ccefa8

Size: 7,940,648 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_mipsel.deb
SHA1: ef116b2b88844b6f8fe6085a4838b17881dd65b0
Size: 26,096 bytes

Submissions

vg7eourr
Submitted
Thu, 7 Feb 2019 06:10:22 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1549474869"