Binaries
coq
(
coq_8.6-4_arm64.deb
)
SHA1: cf56e59985c4a49a8b1239f8f4e0f40035eb2da7
SHA256: 56f4d0dd88ba654d53bbb10f61b6cd4fb458bf52bfa68a84010c5a860273e47c
Size: 13,823,994 bytes
coqide
(
coqide_8.6-4_arm64.deb
)
SHA1: e9bce3e429bcbc39ce17abe394b107591c0e776e
SHA256: fa91a9380eee1d307a000781594580452d8cab13ead3d675fe40abd2d042095f
Size: 1,422,574 bytes
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb
Size: 22,857,022 bytes
SHA1: 72da9976f5fbcb4a63e026ab9a17fef57fddc182
SHA256: 7226b40ffec42f573b9347426af339d9d5f5885ffa8dc76a7c4a0f086a2c6694
Size: 3,477,458 bytes
SHA1: 4a61191a21d9c7d9133491c82c9cf51c1fc93666
SHA256: 623c670896b80a5ac8c114c1d8a3cb0c428dfc1b1ebfb27b922c2345ba98d97e
Size: 13,524,940 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 1df26062601636a50a66d82fade47b1c42c9af91
Size: 79,196 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: dcffc7edbfe4f3f42172bfd84c3a12ab7a5c4dd2
Size: 253,928 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: e7ae9e95c94c202fee7f38a96bea775568687ee0
Size: 360,582 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 7fddfece2c3f9201cbd97fc58b36169453cee9f3
Size: 1,312,008 bytes