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-backports/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 5310362013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 21389082013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 5304862013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 5317322013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i3..> 18544942013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-am..> 20949162013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 5352822013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 18520562013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 5347342013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 20964042013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 25064062013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc..> 67004262013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 25065742013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 25079122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 57097122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 58569942013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 25115102013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 57480122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 25052822013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 58865242013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 24832522013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 55641522013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 24836162013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 24851962013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 51163882013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 55391122013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 24852482013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 51180622013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 24836602013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 55404182013-Mar-16 17:22
coq_8.3.pl3+dfsg.orig.tar.gz 31528702013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 17741242013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 54826782013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 17756582013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 17771042013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 48807222013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 55926522013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 17772102013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 48833462013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 17777542013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 55991382013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1.dsc 22052013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 164752013-Mar-16 17:22
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 540407922013-Mar-16 17:22

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