coq_8.6-5_mips.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 26 Sep 2017 17:24:31 +0000
Build-Path
/build/coq-O6eJMt/coq-8.6

First submitted
Sat, 27 Oct 2018 12:52:01 +0000
SHA1 of .buildinfo
5c88ff5920be6f8dc1d817c74c25b89d432325ec

Binaries

coq (coq_8.6-5_mips.deb)
SHA1: 558e9138443874ad780931c3c4a5544eed91853f
SHA256: d74898a26cd36c93fad4f56ba65acfe0599338b9f1dc446ddfb7e2ece07539d8

Size: 25,227,826 bytes
coqide (coqide_8.6-5_mips.deb)
SHA1: b7abb9bb287c9e3ba0d4f33274ad3694727796e4
SHA256: df22804df2ba8eb9ae7208a53d4741e17260fea8f7ac48ea559d49d59c2a7b6b

Size: 1,970,908 bytes
coq-theories (coq-theories_8.6-5_mips.deb)
SHA1: c4cc361eaa7e755e512c1bf2f62a5625ce03f4d9
SHA256: 7979ffeecf208ca98a2357dbeaffee7c28c027eaebe42ee4c50673660a346bfb

Size: 22,871,666 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_mips.deb)
SHA1: 46b80c22de0d4b71cdc7a20c6fe310764d9291cf
SHA256: 66e34e1d0928608f1c0cd933d095a86fd25a51d73e1f301d250751b31ceed844

Size: 2,333,006 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_mips.deb)
SHA1: 8f850de9ff2a707eb5be87a6c6b1635ad0b46da5
SHA256: 74d91d7e3c0c92ee026b648f0e3be95cee87f45ae0634de13f05ba0979c09e72

Size: 9,968,658 bytes

Other checksums

libcoq-ocaml-dbgsym_8.6-5_mips.deb
SHA1: e076ea71c711087b55ce729ead2b1c03ebd289ea
Size: 18,960 bytes

Submissions

ocysucjp
Submitted
Sat, 27 Oct 2018 12:52:01 +0000
Signed by
0x5D72928162D605A5

Environment


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