coq_8.6-1_i386.buildinfo — buildinfo.debian.net

coq (coq_8.6-1_i386.deb)

SHA1: dd1ee71a92a8dcb16e901d3f472cfb19d83479db
SHA256: 75ceb3800bf7410213bd423bb15b16c1c6dadc9697b9c4f264e4b61abefef3ad

Size: 13,585,688 bytes

coqide (coqide_8.6-1_i386.deb)

SHA1: e0bea8ca6eeaa85a6ff942e607f9919cae0f18a7
SHA256: f657d2bba075cb9552d935b46b8daf79c9322a8f930b31e6cb26d0b0c4d43914

Size: 1,313,152 bytes

coq-theories (coq-theories_8.6-1_i386.deb)

SHA1: 36078388f32af306c5cb4e8c3aaabbe11d7c7c70
SHA256: 153e837b01301d305453b04dcb3be9cef66f6bd10e0031741c314428a47b58d4

Size: 30,414,900 bytes

libcoq-ocaml (libcoq-ocaml_8.6-1_i386.deb)

SHA1: a87788cb7017389689ab6be18ef8ed5216046cab
SHA256: a25bf395c969dd3226346aa2ca09481a960c04e9f674b4748e0c60612422123c

Size: 3,402,962 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-1_i386.deb)

SHA1: 5e6a1100cd167c7fdfefa487d0fc987028dba37c
SHA256: d677cd5d891f461f9be66bc7d2968e9f98dc965a36bd524442c7b6a017a8cf25

Size: 13,323,386 bytes

libcoq-ocaml-dev-dbgsym_8.6-1_i386.deb

SHA1: 9cdb96b15614e4a6bed0ec27a10568f5db4f0dbe
Size: 79,062 bytes

libcoq-ocaml-dbgsym_8.6-1_i386.deb

SHA1: 3593888f47a1407348e87ce06e37290412965166
Size: 257,174 bytes

coqide-dbgsym_8.6-1_i386.deb

SHA1: c894fb1184d09c2257660f291ca2fb05a677cb10
Size: 347,368 bytes

coq-theories-dbgsym_8.6-1_i386.deb

SHA1: d68de125abd6a69cdb73be4f42662e4e87cefb5a
Size: 847,322 bytes

coq-dbgsym_8.6-1_i386.deb

SHA1: a75fbb8e70128daca684d42d89e0394f45e68716
Size: 1,311,728 bytes

coq_8.6-1_i386.buildinfo (view)