Binaries
SHA1: 90c2eb177eddfe90edd673c8e08d05299ef5bc06
SHA256: 5977f1558b9a6098baea047e4272ff48bd58952b442c11d39753662b91e67bc4
Size: 13,606,190 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: e1029b951fe30316b3fcdfbcf8c53102f0c0fda1
SHA256: ee90db66ea053b66f2d48bf8670b13db36f07eb3fd107da0e7d7179dfa876d02
Size: 1,316,146 bytes
SHA1: 8cf85e7742aea8254f046a2c9b69129bed12a749
SHA256: a82cf95e92f85b272ebb13dae71a5fa78eda2cbd2409fe73e122b392b10fe7b0
Size: 30,391,004 bytes
SHA1: d2051f39d89d2a663c31b310731477b60f0fd7be
SHA256: fb6e1cdf706142470e9fdede25a34879426428bdc862c533203e579806e2543a
Size: 3,401,568 bytes
SHA1: f3f03e7550ade695dfc3e77e00ed39a793d819e6
SHA256: 741d749b460906a14dce92eef8d8c1c12d878e3049f300d7758d22ad8f6c7a50
Size: 13,328,076 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: aea1ab23e1c8cbc5aa1d894d9f16f2c0a7760158
Size: 79,078 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 94d98946379d252efc8129772e5623a8b02e38e6
Size: 255,822 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 5174aab5024884e404c129593afcd6405a4313fc
Size: 345,542 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: bf3227525b99e12cea4a55a80c061e63bf10c5d8
Size: 822,894 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 0826eb658f7a67dd7c6a99fcba4acc7a301a5cc5
Size: 1,263,454 bytes