ftp://ftp.udc.es/mirror/debian/pool/main/c/coq/  direct

17.53 MB  2009-08-28coq-theories_8.2.pl1+dfsg-3_all.deb  147 mirrors
15.01 KB  2009-08-28coq_8.2.pl1+dfsg-3.diff.gz  137 mirrors
2.19 KB  2009-08-28coq_8.2.pl1+dfsg-3.dsc  137 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_alpha.deb  80 mirrors
14.60 MB  2009-08-28coq_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_armel.deb  106 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_hppa.deb  76 mirrors
12.60 MB  2009-09-04coq_8.2.pl1+dfsg-3_hurd-i386.deb  84 mirrors
13.04 MB  2009-08-28coq_8.2.pl1+dfsg-3_i386.deb  145 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
14.60 MB  2009-08-28coq_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
13.04 MB  2009-08-28coq_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_mips.deb  78 mirrors
3.49 MB  2009-08-30coq_8.2.pl1+dfsg-3_mipsel.deb  76 mirrors
14.64 MB  2009-08-29coq_8.2.pl1+dfsg-3_powerpc.deb  89 mirrors
3.49 MB  2009-08-30coq_8.2.pl1+dfsg-3_s390.deb  75 mirrors
14.69 MB  2009-08-30coq_8.2.pl1+dfsg-3_sparc.deb  90 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_alpha.deb  80 mirrors
6.24 MB  2009-08-28coqide_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_armel.deb  106 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_hppa.deb  76 mirrors
5.55 MB  2009-09-04coqide_8.2.pl1+dfsg-3_hurd-i386.deb  84 mirrors
5.74 MB  2009-08-28coqide_8.2.pl1+dfsg-3_i386.deb  145 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
6.23 MB  2009-08-28coqide_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
5.73 MB  2009-08-28coqide_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_mips.deb  78 mirrors
2.30 MB  2009-08-30coqide_8.2.pl1+dfsg-3_mipsel.deb  76 mirrors
6.28 MB  2009-08-29coqide_8.2.pl1+dfsg-3_powerpc.deb  89 mirrors
2.30 MB  2009-08-30coqide_8.2.pl1+dfsg-3_s390.deb  75 mirrors
6.32 MB  2009-08-30coqide_8.2.pl1+dfsg-3_sparc.deb  90 mirrors
1.85 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_alpha.deb  80 mirrors
5.77 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
1.86 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb  106 mirrors
1.87 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_hppa.deb  76 mirrors
5.59 MB  2009-09-04libcoq-ocaml-dev_8.2.pl1+dfsg-3_hurd-i386.deb  84 mirrors
5.63 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_i386.deb  145 mirrors
1.85 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
5.73 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
5.59 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
1.85 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_mips.deb  78 mirrors
1.85 MB  2009-08-30libcoq-ocaml-dev_8.2.pl1+dfsg-3_mipsel.deb  76 mirrors
5.26 MB  2007-05-25coqide_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
2.38 MB  2007-05-26coqide_8.1.pl3+dfsg-1+b2_s390.deb  153 mirrors
5.25 MB  2007-05-29coqide_8.1.pl3+dfsg-1+b2_powerpc.deb  178 mirrors
2.31 MB  2007-05-25coqide_8.1.pl3+dfsg-1+b2_mipsel.deb  154 mirrors
2.32 MB  2007-05-28coqide_8.1.pl3+dfsg-1+b2_mips.deb  156 mirrors
2.38 MB  2007-05-28coqide_8.1.pl3+dfsg-1+b2_ia64.deb  175 mirrors
4.70 MB  2007-05-27coqide_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
2.33 MB  2007-05-30coqide_8.1.pl3+dfsg-1+b2_hppa.deb  154 mirrors