coq_8.5-2_amd64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
amd64

Build-Origin
—
Build-Architecture
amd64
Build-Date
—
Build-Path
—

First submitted
Fri, 28 Oct 2016 06:18:40 +0000
SHA1 of .buildinfo
2447140707e30da7a9ce0a2d0839e1330178638c

Binaries

coq (coq_8.5-2_amd64.deb)
SHA1: f1c71d260c9a186e6ee427cf1a70a7001fa890eb
SHA256: 65dfd1f5eac42a7af8e1044c8e8f37188bb3866117827940bd6f2e481a375f0c

Size: 13,562,564 bytes
coqide (coqide_8.5-2_amd64.deb)
SHA1: b65b21efd61cc7a272915df75fcc8d4da16d5b35
SHA256: 0930203a6baf4cf1cd0ceca521383097ae0955908e907cdef9fbf5bc771e3e8b

Size: 1,276,596 bytes
coq-theories (coq-theories_8.5-2_amd64.deb)
SHA1: c80a0d40b0c15ae05ef3d44ec5d0592aa438410b
SHA256: 4b2e2385f368f08450a3273c830a450600491d86f2db49db26cec98c4a80eba0

Size: 32,927,748 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_amd64.deb)
SHA1: 3e2d8db173e2cfe9b51941f6ec3fd484314db053
SHA256: cbe7304c3d47451243e44782b92a8a2415341339dc7c325e83d5b9fd420b7949

Size: 3,436,300 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_amd64.deb)
SHA1: 28cc8b795f804103a5d3816f161798921c0e7b04
SHA256: a45cd7066b141db1c57c12ff33fc3c2066f01bf0b79a6de972b26e2fc1e37337

Size: 13,388,464 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
SHA1: 50397fb0e983748e0cc4089bf329868832903e5d
Size: 84,730 bytes
libcoq-ocaml-dbgsym_8.5-2_amd64.deb
SHA1: f231e9e4f372d405c5d9bd4e8937d762f9b8a0ef
Size: 255,928 bytes
coqide-dbgsym_8.5-2_amd64.deb
SHA1: fe562d5e09ed742c0a53f00556232ece8bdc4071
Size: 353,318 bytes
coq-theories-dbgsym_8.5-2_amd64.deb
SHA1: 3ec54e5d99044ffe6299e779e48a5043295254e0
Size: 888,262 bytes
coq-dbgsym_8.5-2_amd64.deb
SHA1: ba7c1a69255345c153d1f70b430188781d8f3e54
Size: 1,356,490 bytes

Submissions

Environment