Binaries
SHA1: f0ffbcbd9b28d9c1c6e4c87e8200ffc3863a2f92
SHA256: 5bfc94d9f6ba79bfaa1d23dad953b1a5c561f819a5de19e3f66cbe37afc56e02
Size: 13,328,772 bytes
coqide
(
coqide_8.5-2_i386.deb
)
SHA1: 0a300d135b8caf0cc5faca2713f1a9fa80109116
SHA256: dd83e6226f07bda6781e2202b9716703070152ef7478dac0b80b399b4f1bb39c
Size: 1,191,608 bytes
SHA1: 3de481cbca5942f5fb44ba0517e4507a6a267c45
SHA256: 38ee2aae483794dc2a9925ef45a4baae418d5363c8c22ca39e098955b7085e8d
Size: 32,198,976 bytes
SHA1: 277dbaffcf3fef40b9e9ca407d863e1b5965a772
SHA256: e0b82d72e8b4055a6b13ca9c45399dc6855702b192ad355cd838f026c1ac3522
Size: 3,337,684 bytes
SHA1: 3be08fec9a911abbb51d4f2af613836f82d08c81
SHA256: dc513a039746bc6c9f9992c09260552325c08b1902d80d4ac747f8fe8912c134
Size: 13,472,002 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb
SHA1: 221900af454a9a26d8f9a9d51a9b6401073745ba
Size: 81,996 bytes
libcoq-ocaml-dbgsym_8.5-2_i386.deb
SHA1: 97e91a90592263c0299a0b3d6b621f30d335be51
Size: 248,894 bytes
coqide-dbgsym_8.5-2_i386.deb
SHA1: c60c20bab24f2c0b606338650067ceb678934b20
Size: 334,062 bytes
coq-theories-dbgsym_8.5-2_i386.deb
SHA1: 601e3d1b3ed8c4c89da07f7437d886d4d1788f47
Size: 858,966 bytes
coq-dbgsym_8.5-2_i386.deb
SHA1: d54b6366bf0a937d80d26317d57da4c15d33de2d
Size: 1,303,168 bytes