Binaries
coq
(
coq_8.11.1~pre1-1_i386.deb
)
SHA1: f6731b1fa473054c6cbf6af254435773ebe5358f
SHA256: e27d33b7ec3002919b46e30d8a0e9f878790b539ec766d7cfcc420206d36acf7
Size: 72,102,748 bytes
coqide
(
coqide_8.11.1~pre1-1_i386.deb
)
SHA1: a87f4ab3197070369224838f95ee2e9d01476129
SHA256: db6d7241d773cc2e424f5d4b7727a2f6b0a8c73dac4c05fd12e9f14452aff442
Size: 1,532,080 bytes
SHA1: eb5dbcfa6c7dbc07fddfaf206650d011f12f8137
SHA256: ada3f66638b598062a4e8247a89abe00d3be27210d08cd6b65fd8dafd77e121a
Size: 31,535,772 bytes
SHA1: 4709d0f5495518ed450ef52c6bb2c0b88f4bab5c
SHA256: 9edccb443a83a52a8bdab4dc750ea61720b626bccb957308e500039aac9dd959
Size: 6,054,064 bytes
SHA1: 05b12720890b76d7eb83824e81ddca65e1ac636e
SHA256: 42e490dc1446013156188c47cab588662b0799944a30241d82bdc9eb0b133e72
Size: 16,037,016 bytes
Other checksums
libcoq-ocaml-dbgsym_8.11.1~pre1-1_i386.deb
SHA1: dddc3e8c800a9f3b6fb87cc54d09bd6f4e36564b
Size: 645,184 bytes
coqide-dbgsym_8.11.1~pre1-1_i386.deb
SHA1: 4c2202e2722d2f5689410ea482b906fc3b887e70
Size: 487,220 bytes
coq-theories-dbgsym_8.11.1~pre1-1_i386.deb
SHA1: 43ec5412d5004f5df7e6d00e662a4fb7c01eef0d
Size: 837,152 bytes
coq-dbgsym_8.11.1~pre1-1_i386.deb
SHA1: 44f69842cd999b387bb4a65f9e7551c5253b931b
Size: 6,857,556 bytes