Binaries
coq
(
coq_8.6-4_arm64.deb
)
SHA1: bc46f16650dfcc6a0b34d5a71ab0a8d72e8957e0
SHA256: fcacc592c1774db9988f12e0c094d78c36bf66e164b37a1b27a94fa197309ee7
Size: 13,820,996 bytes
coqide
(
coqide_8.6-4_arm64.deb
)
SHA1: 1ac90e1935f545d38a249eb96b2d3383f3ca34b5
SHA256: 25835595f4fbfc1fbb63c4690de3ef7c76a0d5ae0f5d1d559ced231d0f4049d4
Size: 1,423,576 bytes
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb
Size: 22,857,022 bytes
SHA1: 445dd93a1ecabcd85e9a75142352e7d5aaffe917
SHA256: 31a1ad89ea0742dc8f300b72d31a1745b0a3c29e81fa80c8dee74a2da55eb7ff
Size: 3,478,742 bytes
SHA1: 98c014aa6f00774760a78f97919943575c754ce6
SHA256: 96f9c65ea7176c26b71717bcba20e2b9c6d4247dc52cfa36a409b591dd1a3a06
Size: 13,519,610 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 0665d0aa268a7bca92d06267115f2728d6c5b603
Size: 79,752 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: b875db0c53304e8c99860accbacb533666c36d5c
Size: 253,732 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 9748d18cb2993cc43c662bb0cd4119729e406fd0
Size: 356,842 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 9083342c089d06a322d6bd1895a1f5d94cf9bd3a
Size: 1,322,594 bytes