Binaries
coq
(
coq_8.6-4_armhf.deb
)
SHA1: da311f6eed163e5da30de057f0dadbfd3db81053
SHA256: 8113a1b0ffee853557fd754b1185015042d588ed1dcdeddf53d9c98d4ad1b87c
Size: 13,975,546 bytes
coqide
(
coqide_8.6-4_armhf.deb
)
SHA1: 7fa2db5d8d3539bdab4a852ade5686fcb5d788e3
SHA256: 2fd1114e87529d707be303b240ecb50c7dbda095744982fb6382bc36b6423cbd
Size: 1,598,506 bytes
SHA1: 175d8bf3986e1a12f3c191170712d742e30da137
SHA256: 0e1286065ad994f63e49208596661f5f3bcb8b1a477477c7d8e6f4fd973cff5b
Size: 22,844,226 bytes
SHA1: a2dfd3b6c3d289959071cb78e253fad29e8ffae5
SHA256: ccc78cfef6dd441c8b20b561f40556e381eb35b3e92747a9fa9c0e42857c43f5
Size: 3,565,372 bytes
SHA1: 807634e8a7c28af3e79f35d47c08e93982609d2d
SHA256: 14073637c63c81db53ea6c7abbe6b1ff29118f9f778d76a6f0ae8c252fb96186
Size: 14,152,420 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 9ab7a4283fe70e83c7ab8682e832fa841d26f207
Size: 85,934 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 3e634d616988d7d4fbf90d104779c6afb6e90b69
Size: 283,804 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: f7a054427afb23aa7f5d60fcdfb934f6a2ef0081
Size: 378,710 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: d4b2cc806b1e4fac7a39c34f4df48f2b116663e4
Size: 1,436,324 bytes