ftp://130.239.18.137/cdimage/snapshot/Debian/pool/main/c/coq/  direct

17.38 MB  2009-02-27coq-theories_8.2-1+dfsg-1_all.deb  55 mirrors
13.66 KB  2009-02-27coq_8.2-1+dfsg-1.diff.gz  80 mirrors
1.55 KB  2009-02-27coq_8.2-1+dfsg-1.dsc  80 mirrors
3.48 MB  2009-03-15coq_8.2-1+dfsg-1_alpha.deb  34 mirrors
14.59 MB  2009-02-27coq_8.2-1+dfsg-1_amd64.deb  53 mirrors
3.49 MB  2009-02-28coq_8.2-1+dfsg-1_armel.deb  42 mirrors
3.49 MB  2009-03-20coq_8.2-1+dfsg-1_hppa.deb  33 mirrors
13.03 MB  2009-03-05coq_8.2-1+dfsg-1_i386.deb  54 mirrors
3.49 MB  2009-02-28coq_8.2-1+dfsg-1_ia64.deb  39 mirrors
3.48 MB  2009-02-28coq_8.2-1+dfsg-1_mips.deb  34 mirrors
14.62 MB  2009-03-05coq_8.2-1+dfsg-1_powerpc.deb  41 mirrors
3.49 MB  2009-03-02coq_8.2-1+dfsg-1_s390.deb  34 mirrors
14.67 MB  2009-03-19coq_8.2-1+dfsg-1_sparc.deb  36 mirrors
2.99 MB  2009-02-27coq_8.2-1+dfsg.orig.tar.gz  80 mirrors
2.25 MB  2009-03-15coqide_8.2-1+dfsg-1_alpha.deb  34 mirrors
6.18 MB  2009-02-27coqide_8.2-1+dfsg-1_amd64.deb  53 mirrors
2.25 MB  2009-02-28coqide_8.2-1+dfsg-1_armel.deb  42 mirrors
2.25 MB  2009-03-20coqide_8.2-1+dfsg-1_hppa.deb  33 mirrors
5.69 MB  2009-03-05coqide_8.2-1+dfsg-1_i386.deb  54 mirrors
2.25 MB  2009-02-28coqide_8.2-1+dfsg-1_ia64.deb  39 mirrors
2.25 MB  2009-02-28coqide_8.2-1+dfsg-1_mips.deb  34 mirrors
6.23 MB  2009-03-05coqide_8.2-1+dfsg-1_powerpc.deb  41 mirrors
2.25 MB  2009-03-02coqide_8.2-1+dfsg-1_s390.deb  34 mirrors
6.27 MB  2009-03-19coqide_8.2-1+dfsg-1_sparc.deb  36 mirrors
1.85 MB  2009-03-15libcoq-ocaml-dev_8.2-1+dfsg-1_alpha.deb  34 mirrors
5.76 MB  2009-02-27libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb  53 mirrors
1.86 MB  2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_armel.deb  42 mirrors
1.86 MB  2009-03-20libcoq-ocaml-dev_8.2-1+dfsg-1_hppa.deb  33 mirrors
5.62 MB  2009-03-05libcoq-ocaml-dev_8.2-1+dfsg-1_i386.deb  54 mirrors
1.85 MB  2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_ia64.deb  39 mirrors
1.85 MB  2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_mips.deb  34 mirrors
6.65 MB  2009-03-05libcoq-ocaml-dev_8.2-1+dfsg-1_powerpc.deb  41 mirrors
1.85 MB  2009-03-02libcoq-ocaml-dev_8.2-1+dfsg-1_s390.deb  34 mirrors
6.39 MB  2009-03-19libcoq-ocaml-dev_8.2-1+dfsg-1_sparc.deb  36 mirrors
5.25 MB  2008-01-07coqide_8.1.pl3+dfsg-1_sparc.deb  5 mirrors
2.38 MB  2008-01-05coqide_8.1.pl3+dfsg-1_s390.deb  5 mirrors
5.24 MB  2008-01-05coqide_8.1.pl3+dfsg-1_powerpc.deb  6 mirrors
2.31 MB  2008-01-05coqide_8.1.pl3+dfsg-1_mipsel.deb  5 mirrors
2.32 MB  2008-01-06coqide_8.1.pl3+dfsg-1_mips.deb  5 mirrors
2.38 MB  2008-01-05coqide_8.1.pl3+dfsg-1_ia64.deb  5 mirrors
4.69 MB  2008-01-04coqide_8.1.pl3+dfsg-1_i386.deb  6 mirrors
2.33 MB  2008-01-05coqide_8.1.pl3+dfsg-1_hppa.deb  5 mirrors
2.29 MB  2008-01-06coqide_8.1.pl3+dfsg-1_arm.deb  5 mirrors
4.98 MB  2008-01-04coqide_8.1.pl3+dfsg-1_amd64.deb  6 mirrors
2.35 MB  2008-01-05coqide_8.1.pl3+dfsg-1_alpha.deb  5 mirrors
5.26 MB  2008-05-23coqide_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
2.38 MB  2008-05-24coqide_8.1.pl3+dfsg-1+b2_s390.deb  153 mirrors
5.25 MB  2008-05-27coqide_8.1.pl3+dfsg-1+b2_powerpc.deb  178 mirrors
2.31 MB  2008-05-23coqide_8.1.pl3+dfsg-1+b2_mipsel.deb  154 mirrors
2.32 MB  2008-05-26coqide_8.1.pl3+dfsg-1+b2_mips.deb  156 mirrors