Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

/debian-archive/debian-debug/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.6-4.dsc 23962016-Dec-30 00:56
libcoq-ocaml-dbgsym_8.6-4_mipsel.deb 180022016-Dec-30 07:57
libcoq-ocaml-dbgsym_8.6-4_mips64el.deb 185502016-Dec-30 14:29
libcoq-ocaml-dbgsym_8.6-4_mips.deb 187342016-Dec-30 07:57
libcoq-ocaml-dbgsym_8.6-4_ppc64el.deb 212502016-Dec-30 03:57
coq_8.6-4.debian.tar.xz 219722016-Dec-30 00:56
libcoq-ocaml-dbgsym_8.6-4_s390x.deb 228502016-Dec-30 05:27
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb 790302016-Dec-30 01:57
libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb 794682016-Dec-30 01:57
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb 817482016-Dec-30 00:56
libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb 860602016-Dec-30 03:12
libcoq-ocaml-dev-dbgsym_8.6-4_armel.deb 864762016-Dec-30 03:12
libcoq-ocaml-dbgsym_8.6-4_arm64.deb 2557042016-Dec-30 01:57
libcoq-ocaml-dbgsym_8.6-4_i386.deb 2580702016-Dec-30 01:57
libcoq-ocaml-dbgsym_8.6-4_amd64.deb 2654662016-Dec-30 00:56
libcoq-ocaml-dbgsym_8.6-4_armel.deb 2762542016-Dec-30 03:12
libcoq-ocaml-dbgsym_8.6-4_armhf.deb 2849622016-Dec-30 03:12
coqide-dbgsym_8.6-4_i386.deb 3479322016-Dec-30 01:57
coqide-dbgsym_8.6-4_arm64.deb 3569282016-Dec-30 01:57
coqide-dbgsym_8.6-4_amd64.deb 3658462016-Dec-30 00:56
coqide-dbgsym_8.6-4_armel.deb 3758842016-Dec-30 03:12
coqide-dbgsym_8.6-4_armhf.deb 3759482016-Dec-30 03:12
coq-theories-dbgsym_8.6-4_i386.deb 8472722016-Dec-30 01:57
coq-theories-dbgsym_8.6-4_amd64.deb 8772042016-Dec-30 00:56
coq-dbgsym_8.6-4_i386.deb 13118342016-Dec-30 01:57
coq-dbgsym_8.6-4_arm64.deb 13141982016-Dec-30 01:57
coq-dbgsym_8.6-4_amd64.deb 13915002016-Dec-30 00:56
coq-dbgsym_8.6-4_armhf.deb 14271462016-Dec-30 03:12
coq-dbgsym_8.6-4_armel.deb 14358502016-Dec-30 03:12
coq_8.6.orig.tar.gz 50086042016-Dec-28 13:44

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github