coq_8.6-5_mips64el.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 26 Sep 2017 22:13:53 +0000
Build-Path
/build/coq-VzqzaU/coq-8.6

First submitted
Sat, 27 Oct 2018 12:55:53 +0000
SHA1 of .buildinfo
e47d2fc7344bae2bc455ef2942e81079f108ec9f

Binaries

coq (coq_8.6-5_mips64el.deb)
SHA1: faa30450fe9c2f48411311eda23c004febce9fde
SHA256: 2785abb2a1bb50e48f651ab8849f88cbf004ac90ba15076c3bb926006136d799

Size: 25,229,862 bytes
coqide (coqide_8.6-5_mips64el.deb)
SHA1: ec36b025ea278078d0e84fadc357701ce587709d
SHA256: ed4f35e631f0d05e8aff414a2dd445d2fe2dc959af1b7760df9bf332dc29e554

Size: 1,970,596 bytes
coq-theories (coq-theories_8.6-5_mips64el.deb)
SHA1: f9ea566c5403fce66584af3a39edb3bfe67e2aa8
SHA256: 74c40db3750ef53b66e5f3ae2833a8cf3643f8bf42feb9ef0ac2078280f2475d

Size: 22,874,840 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_mips64el.deb)
SHA1: 60d9945131dcc6f5a392577fca443488db0dbbac
SHA256: 58b1bc4aaa25f861dc5d0347f096cef9d2d44ee2e8d96a9104fd30a838e295e1

Size: 2,331,556 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_mips64el.deb)
SHA1: 518174dd14f6a88ed39b8ad2b1d481f35ecdca4a
SHA256: 6c203c40e16a0406d08223cb72bf2548369442e782686ea21edf93954ae6a94d

Size: 9,968,540 bytes

Other checksums

libcoq-ocaml-dbgsym_8.6-5_mips64el.deb
SHA1: d6b33ec45b64d82f33901768a49d95053562dc61
Size: 19,014 bytes

Submissions

tuwz7gjc
Submitted
Sat, 27 Oct 2018 12:55:53 +0000
Signed by
0x914369D93E8BE603

Environment


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