Binaries
coq
(
coq_8.6-3_amd64.deb
)
SHA1: a84d9f391cd2e130482ae7f39fb3a29ac986bdae
SHA256: 88f3297b1757e2141193d3065d91f81e4108a692fd69f5828c63f4547e36b116
Size: 13,948,026 bytes
coqide
(
coqide_8.6-3_amd64.deb
)
SHA1: 8489aed5213d9cc0f38aac8f13a5d76d4f792cb2
SHA256: 3dcda3e9a7b0fd26a2285070e9353be908c03eec75c701a0cfef38f279cc490a
Size: 1,404,028 bytes
SHA1: c4c2cb3c25de45b8f786d36041b4dde85857a141
SHA256: 5e170c5d7809609eff5328e6ce8f985421415737d1c428ad0eb33e2a92cd37fe
Size: 31,443,430 bytes
SHA1: 2f57d0becc0045c4be8c6a0710572c0baf88b9cb
SHA256: 19143d0037c7c37b0d6e2c7218cdcd1af308545d3c0c522cb6b3b7830b14eebb
Size: 3,500,640 bytes
SHA1: 192ead404e254918c9bce41f21f3aaa3f1da71cb
SHA256: 4f1dde8871bb6a23b14bfb08f518c5800d0460b9dcf444759659f1a47fe23e10
Size: 13,285,746 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-3_amd64.deb
SHA1: b3e4e96b3600c5f7d7e21cbf4534763133871a4f
Size: 81,746 bytes
libcoq-ocaml-dbgsym_8.6-3_amd64.deb
SHA1: 123b19af1eb8415c0c00f5b87f4a3fd9119d3189
Size: 266,294 bytes
coqide-dbgsym_8.6-3_amd64.deb
SHA1: 6dae099f10c1dcf4d319033e4fccefb490b2db77
Size: 364,476 bytes
coq-theories-dbgsym_8.6-3_amd64.deb
SHA1: 8f00fc16c749fd43be8266fdd1dfe11487ebef6c
Size: 875,580 bytes
coq-dbgsym_8.6-3_amd64.deb
SHA1: efa6dda4e4e55d5348ee1c0a099f0c92cc5898b2
Size: 1,384,110 bytes