Binaries
coq
(
coq_8.6-5_arm64.deb
)
SHA1: 74e329bf3517d6a20951ce6d833a55fce54b8030
SHA256: 868806c34bf53e53d848217c571da8b627576d5a50b3836cf872768db08d2dd8
Size: 18,890,812 bytes
coqide
(
coqide_8.6-5_arm64.deb
)
SHA1: d5cc7f4bf60da1bce26c5901a5af5593ff1d8faa
SHA256: 9114a4218af77652f34ca2b2cf0c04f418bf4e3912e6be3d2ba659ebd7801208
Size: 1,750,560 bytes
SHA1: e2c830e5878d61e29479c1334fe24c0d1af4fabc
SHA256: 54d9041e111dad41685b8acafed29f8b49ba641d4428744b02b7b9d6e0e16d59
Size: 22,871,756 bytes
SHA1: 10904a64fc3b1b5097295ecd4dba0ed76cd46fe1
SHA256: 11a0b4d31afc824ed60b86228b9af322030deeae7a07c852a2ac8121030992e4
Size: 3,823,992 bytes
SHA1: d4a39b26a30e5ccce763408446087cae161be587
SHA256: e55e91c1c1dfed5ccdf23ba308331b459e3f33dfe95f45157be756ef0e84537d
Size: 14,081,836 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: df7488f43b417d2ea756c78b6b670e7555c5e81b
Size: 107,776 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 6e7bf2e45ff624fe7389ef470551265ae854e7d6
Size: 341,808 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 240a940fe6ec906874fff7af50386317be23e5e1
Size: 491,828 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 6d9f6956dcf5b1793702fc3e5c5a4ef13b51ffc6
Size: 1,860,060 bytes