Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: 5fcec17d2677e2a300182ce47471e11ca35edfbc
SHA256: 91b0bb9c61e3e7dd2ee2dd03c630492abcb485603b972415b628c49ace8cfdb1
Size: 13,956,346 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 5e52c886478a24c6bcfcdf0617d1e0015b77930e
SHA256: ff5c53fb469f1af8b45bbced8a536524340f042908c6004d2d88be34df54b12e
Size: 1,404,172 bytes
SHA1: 6728d063160654e17718899aee95ed5635fe8e88
SHA256: 918cc35c68a91326b5b3fa91ff9da1c1d5aa779fa2b0fc277c974b889f625794
Size: 31,441,820 bytes
SHA1: 5f5a63980e2b1c05f010f261eeddb882dac09d5f
SHA256: 272abe6ab7c7355771bff09815a6a4fbe8be12770f5bc8b48433b6180dc03fc5
Size: 3,500,582 bytes
SHA1: 76006708b736fa97223a89678262a2f78771dc1b
SHA256: c94512e768808d4d1f76bce88010f81f8a7941e5a1103c52ddea452093f29744
Size: 13,284,730 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 251b5fe0b037b572548e5188d87eeaa5708020ef
Size: 81,672 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: f87e17a329d0ef38c70fa8188f574b30140f01d9
Size: 266,530 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: b7ab377368e1e6fb677348f39713a7b722a26c8e
Size: 365,462 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 2be4b226bb35ccaf90f5a63992ff02edcf07309b
Size: 875,304 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 5360923969a3638770ebc01f802d7f8a157d7e9e
Size: 1,378,336 bytes