Binaries
SHA1: 7574568116e671c4b7f70a9ed2c6a124920866f5
SHA256: 9ff0e8f818a178bbca59a7406a1a9893f2d579b71a3aaccf8dd17524ff167d2b
Size: 13,592,350 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: b8fafc632d4a9aaadc3ceb6210e069409fe27ccb
SHA256: 68a42a7a858747e8c49317c4d7334ab8fe4ff6f41add2d8943157b47daafec34
Size: 1,314,548 bytes
SHA1: a21157a4e3ee8f64c1a571eca02bd6b227b7860b
SHA256: 3537146b174c006bace28ef635eab18af3938819f601878d5c00a418b9bc8e82
Size: 30,410,302 bytes
SHA1: 7e999fc499545dca8d897b7036bbf4c1c9dd17e4
SHA256: c02c8577aa18c0b288431604c5c5a3c8433000a5efb656ca83eccc5d829c648f
Size: 3,402,596 bytes
SHA1: 042c4cb0f1d8a984643d56db51599d149a44e53c
SHA256: 70141bd38705064bd082d690aa5e64f89debe0a85d6ac1948d9539c9caec8ad3
Size: 13,322,700 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: b89d60eb155003b407d1879bdd83abb30ad1acb4
Size: 79,136 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 0768a60ce1ef7fb557cc1b1c837601641feadb35
Size: 256,662 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: d32dd410f731fddbec5b868084c6b9d9989d2189
Size: 347,112 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: 29b5dc9652b1ea7e13dda1dd07e37168e6594149
Size: 847,480 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 91447ed9a4fcc2e3ab6d5254deb945e525d2488f
Size: 1,301,706 bytes