Binaries
coq
(
coq_8.6-4_arm64.deb
)
SHA1: 07113c890024147424e1a77c54fa3f28ce11b464
SHA256: 6a736bae3143b54728225f4f24ae7aa31eb1c9f05774b1c79ae3aba73c631bdb
Size: 13,823,920 bytes
coqide
(
coqide_8.6-4_arm64.deb
)
SHA1: 983a85c8dd2dbba43ee44ce4c5c0f9e438d64a86
SHA256: 91ef48cccc92b0fd19c04d1f86e5362b1136bf7778b4a6ab97db299b9d066b68
Size: 1,422,322 bytes
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb
Size: 22,857,022 bytes
SHA1: 627d0ed2f260464db836619ec45966a6051fafe9
SHA256: dd0e084784bc01de9f956a5c070a575b3172975f12e0ee01dc1f731b6b656c53
Size: 3,477,294 bytes
SHA1: 88acbcf9233b627d186b8380deef3e6b9db74687
SHA256: 700484e3174011edc1b2840e809e1041661051b1baa5cda391c996c148f35141
Size: 13,524,544 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: fa6cd4de60f2df7fa1870a7a823eedc07efb7830
Size: 79,288 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: ae39cc039edb3ee96c62c4c8a176132b58498e33
Size: 256,432 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: b4d49285dd2d787adf1392f8f89b5d37f23933a2
Size: 357,408 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 67ae81f09ca407fc1b53a824e5abb9fb573ab758
Size: 1,308,336 bytes