Binaries
coq
(
coq_8.6-4_armhf.deb
)
SHA1: 2427472c6549917d20168e52d2709ff864a2d164
SHA256: 8187cebceea985f6f2c4dadd8b3bd510d57db21a258d136b5d25237e9b2adc86
Size: 13,916,902 bytes
coqide
(
coqide_8.6-4_armhf.deb
)
SHA1: 235ba3db3451124ce4efd232780aa08feb14710c
SHA256: 27855504c18f4bab1cc229c7b90a58fa4e0925b656e44333e5713b6e268b2eb1
Size: 1,471,602 bytes
SHA1: cfada68bcafbf5789d5189edae7de707cf1426f5
SHA256: 13f7e6523f36fe2163c87fdafcded93b88cd3883e5609689008782f2449096aa
Size: 22,844,282 bytes
SHA1: ce8114758e7542313fa63f8538528e9ce6f08b28
SHA256: 749efff95bbce91dc79bc18717e35a905ba6522f942dd7a8cd37a9901f531c3a
Size: 3,564,762 bytes
SHA1: c9f05dc27ad57879b4c9f34a94a5b1447d6452af
SHA256: 52ae6d36323ecc920fbf58131a2e15480702c997a46d0cfb1b5a35b3442c6595
Size: 14,155,350 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 78f21567ed2de891324a516d5d482b6568ab99bd
Size: 86,220 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 67f000558c27188ea5287928808800f5566f026b
Size: 283,782 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 670e4664e9a9ee154984ad25d467fa62cba20a09
Size: 374,584 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 7b89a9053b9cfea98f5d937d08ba867c2eff145f
Size: 1,434,484 bytes