Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: dd58effb315efbc5cf872e643e3961580637ef29
SHA256: 3f3b79df52003cd4181e3750c3e33a2cd813720c1c61c257ed40b81e5abfd4a9
Size: 13,948,914 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 37eeebd9c17b15004c2894d4a260a301fe29cb7d
SHA256: eb58db2f6465332227edd0587274731f4574d501a835bbbffda4fd936d1fd6d8
Size: 1,406,366 bytes
SHA1: 991da891ef3efafb811aafa53ea4417a6b6c6032
SHA256: 6a42c4928421e0d3df8e18500c019f62c35749e48ec2578e11e10ba08b254cda
Size: 31,437,946 bytes
SHA1: d7508c093e797059aa4e32629f0a4dd06e6fd26f
SHA256: e639da831f0880ae1c6cadbceea8bcd292426ab32f92dabf771142b62ec31552
Size: 3,501,060 bytes
SHA1: c7c49802b84616831330557bd82b8d545dfc09c3
SHA256: b9fed283b3f80115293c31e83ecf7bf5980dc8946546fb0645fd7b66d72ccb7b
Size: 13,284,406 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 89cefe96fe55665698b183291e8d36c39d2ac080
Size: 81,688 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: f28e9ff0f14775d77effec15a218577920fc61e7
Size: 266,690 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 33c76d245abb16ca0b3dbf3710592d00f536570a
Size: 369,164 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: ca2aa6154795d13b187c4c65c64cfdd854a12e74
Size: 877,770 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 2a0a6009bd8c956a798c18101929ca75fc1b4b06
Size: 1,384,150 bytes