Binaries
SHA1: 44963a9f6cfd2f1c219036bb98e585cd2b9ca6b0
SHA256: b4c9132db409d9cede68e98f9f54ecdddbb6aceff6fc6c753d8b643362c1985d
Size: 13,606,908 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: afce488b6fbc8bc47151727ec006cccd2dc8f056
SHA256: dd36a6c786cd4ee617b0589b5811041a6f75f25209d6e82888a96ea665014dbe
Size: 1,316,330 bytes
SHA1: 466647d4746935494101f024c266ebf010887703
SHA256: 0256cdc471a5e7ddf78e033776a0592d7289dfd227c0d5f33efcccb50c2d612e
Size: 30,407,262 bytes
SHA1: ebe8f27634e9fcc75f42776ccd3a9b19592d5bae
SHA256: 60341e501e910d73548749f0680a039f00fe8fae892b97d9cdbfc791b1c7b8ec
Size: 3,402,022 bytes
SHA1: 65c729615c27819a759df90f6de150d49b3b78a7
SHA256: f76187887c3c268bfb0141a71258de85969759e50d54279b7a8c782fd39f2444
Size: 13,328,440 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: 09ee79edea3a926915d80d2a291eab481b06f4b0
Size: 79,176 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 7346cdbf5b624d7dd8824f18ffabb1f37cbd4cc2
Size: 255,958 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 2742fb895d59a3cb3b7b999393e1ed4fc2dfe869
Size: 344,690 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: f9e20cc8eb6c2327fb20ecfdfda5d4bf7f29cc5e
Size: 821,596 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: b4549dd69ad1893d4009c7f21b1832facec8d9c8
Size: 1,259,208 bytes