Binaries
SHA1: 1916379e02d5bafd950d484164ea1db0ae2c1126
SHA256: b275ba0cb4cc477aebfd0a5d64ffe11b67c77e9aff7a7ba1846d71b67231107a
Size: 13,590,442 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: 5786ce2b95e7e5b025f156d23c3155ebcf20be03
SHA256: 4d52c0f78e9c7812f5361905c331fffdfaca06897a843c17a53585caeb4d875b
Size: 1,313,684 bytes
SHA1: a979fcc824f5ab0637d5f2cb0a2342d90d219264
SHA256: 032ec7dab5baa54dc11177f8817b667ee39f37cf7030075d6f3f5e88d01142f0
Size: 30,411,982 bytes
SHA1: 6571ed51f12e4a3b6dd266265789f0a5f817b6b3
SHA256: 9b9090774e3b882b4b2d9a53b4864b57da7c6b7689c35debc7c66e5a580b915c
Size: 3,402,484 bytes
SHA1: b37e717e13d1ee0da2476d25b2fb569cc861ff51
SHA256: fa9b105747efee7d9cabe643d3adfecf57642bd00c28962ec63c062d976c2883
Size: 13,323,054 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: c376d890f10e104f9bf1c2eb4723b8d7399fcd76
Size: 79,058 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 690174e7b437e9d03ad39cc469ead73d6692206c
Size: 257,150 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 1a27f347461eabb7b9656d8f372985f091661c2f
Size: 345,808 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: c328eb44405e7e996fb42e97a8cf05f37b897855
Size: 844,552 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 9c155a8c53f93001913bd2392c08859dd1a09d00
Size: 1,313,250 bytes