Binaries
coq
(
coq_8.8.2-1_kfreebsd-amd64.deb
)
SHA1: a6b8faaa118fe6ab9f14f9bd2767518a85671072
SHA256: 3a40e94bf6fa15a91c52e84b696e759b0af5a082d3451374ae2fef7fd03a0590
Size: 17,507,604 bytes
SHA1: acf8233fd5fee4964fd0dc3c00f392524c4fd3ee
SHA256: 8c3b0b6b1f5fa7d9c23b727566dc371ce6aaea9afb3da61ef6fb0f1a8f5686f4
Size: 20,184,428 bytes
SHA1: 61bfb26dab5b1b06adcb770d29e67013e8b9be03
SHA256: 236cd38d2f962ebba2ffeee6236cbdc272f7bcb8386a258c48948c407d85dae0
Size: 4,585,052 bytes
SHA1: 8d2f231d73dbe95c6ee35b5340561fb39ad5daf7
SHA256: 0edfddac7dff75336ca71e258f50f2b0925905f113571403cedec9090a74dcde
Size: 13,121,040 bytes
Other checksums
libcoq-ocaml-dbgsym_8.8.2-1_kfreebsd-amd64.deb
SHA1: 24385b52029a4817298a1b176b88a03b63e836c0
Size: 460,588 bytes
coq-dbgsym_8.8.2-1_kfreebsd-amd64.deb
SHA1: 8b23a67dcdf98001fe93aa4a15b8d3464345a82c
Size: 2,216,808 bytes