Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: e8a51a24135fb27f8a79c221f23ab07da390a660
SHA256: 8254358ed5309e3aaf1ca0b1d8cf5c5523df6477823c952a4b183e7dbf60c270
Size: 13,952,002 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 37a12de1823fa940e015479462c7fc525b6d4196
SHA256: ea480cf7178ca0813e315d78da855c57443cf1a69dc9303edd61f32cbb28d331
Size: 1,405,570 bytes
SHA1: a705af65a7d5df95348c075b2ef1731fbdaaf488
SHA256: f2adaeaa26d875bb0723d60623ceb16178d8c5f88cb3e53af670c8a5c9fbf605
Size: 31,460,414 bytes
SHA1: 27cc729e99306a68a71a837c8b5462a4e15c7e65
SHA256: 11423d005a38fbba3db1c2654e592bf25e3481c912a7107e9f0c808b314ef3ab
Size: 3,502,438 bytes
SHA1: 45ec0a525701b05d3391f22f3ae63c61a75b98fb
SHA256: a4dcfe93ceafd886d0f46a5def07624bde9e9d939bb017595e01fff2a6ff8093
Size: 13,282,870 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: eac47e8f7a5d32b258bdede18ff7321cc0a9653e
Size: 81,654 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 1b2191263a89dc99f73f6271980cb6033efd70c3
Size: 265,352 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 945707b7fe4c6bab4c4e350dde8c1ccbcaad1f72
Size: 369,354 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: f93a9c879b79426018d1d76e76efe073bbef2fa4
Size: 875,262 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 7846e19cf003dd5528bab57c6ac8db7b9d84891f
Size: 1,380,006 bytes