coq_8.6-5_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.6-5_amd64.deb)

SHA1: 865520f7dd4c515a39e687c3b6ca22ff921d19af
SHA256: 79d5ea15cbd278e0abd4acaa8be5f53e682439ff8ff91c8966b93557ec60bccf

Size: 17,730,676 bytes

coqide (coqide_8.6-5_amd64.deb)

SHA1: c61c546b60ae4ad92276ba4cee856713965162bb
SHA256: b16662147baa9e5c5520aea8912e2d7e45fe0f973c3b98e0a524453d4b2ee9e5

Size: 1,608,188 bytes

coq-theories (coq-theories_8.6-5_amd64.deb)

SHA1: fed55c3bf7a55ba02354f1032281759cb8e03887
SHA256: f9ffa32126ac291e0fa5dfce086ce6afcb9697d68c5a5edd7646558aae44b3dd

Size: 33,450,072 bytes

libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)

SHA1: 4e28d22d46c9947d3845ba0c3c40131db8cf1010
SHA256: 854f5e519b09c5532c5912c638051fc9d82a0afc27e864bbbfc2699f1435436b

Size: 3,641,424 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)

SHA1: 248cb2ec00ce7097d41b44f158e21399cf2ad9c8
SHA256: bb5518832d8827be37a45cb9aa77ef284084309ba0c57a2529b22ea2280e3c40

Size: 13,881,364 bytes

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb

SHA1: 9ed44e0bbd30efbc159241b5ee165e70d3ca320c
Size: 113,748 bytes

libcoq-ocaml-dbgsym_8.6-5_amd64.deb

SHA1: ec394a784ab96a1c4cee2f4291a2921f1e733a7e
Size: 376,500 bytes

coqide-dbgsym_8.6-5_amd64.deb

SHA1: 0fe595875aed7cde9e13c5141c6eb7df44b20ba1
Size: 457,516 bytes

coq-theories-dbgsym_8.6-5_amd64.deb

SHA1: e171a791bef79876cfcf969887742a61e11522a0
Size: 830,036 bytes

coq-dbgsym_8.6-5_amd64.deb

SHA1: da2e0ee66a5ab54ec83b865010259ea7520bdfee
Size: 1,943,656 bytes

coq_8.6-5_amd64.buildinfo (view)