ftp://200.17.202.1/debian-dists/debian/pool/main/c/coq/  direct

5.86 MB  2007-08-17coqide_8.2~beta4+dfsg-2_sparc.deb  37 mirrors
2.57 MB  2007-08-20coqide_8.2~beta4+dfsg-2_s390.deb  35 mirrors
5.85 MB  2007-08-19coqide_8.2~beta4+dfsg-2_powerpc.deb  37 mirrors
2.57 MB  2007-08-23coqide_8.2~beta4+dfsg-2_ia64.deb  39 mirrors
5.23 MB  2007-08-16coqide_8.2~beta4+dfsg-2_i386.deb  55 mirrors
2.52 MB  2007-08-17coqide_8.2~beta4+dfsg-2_hppa.deb  38 mirrors
5.55 MB  2007-08-19coqide_8.2~beta4+dfsg-2_amd64.deb  55 mirrors
2.54 MB  2007-08-19coqide_8.2~beta4+dfsg-2_alpha.deb  37 mirrors
4.67 MB  2007-08-22coqide_8.1.pl3+dfsg-1_hurd-i386.deb  44 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
2.30 MB  2007-05-26coqide_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
2.30 MB  2007-05-26coqide_8.1.pl3+dfsg-1+b2_arm.deb  160 mirrors
4.99 MB  2007-05-24coqide_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
2.35 MB  2007-05-25coqide_8.1.pl3+dfsg-1+b2_alpha.deb  162 mirrors
3.79 MB  2005-02-20coqide_8.0pl3-2_sparc.deb  181 mirrors
1.32 MB  2005-02-19coqide_8.0pl3-2_s390.deb  159 mirrors
3.71 MB  2005-02-20coqide_8.0pl3-2_powerpc.deb  185 mirrors
1.28 MB  2005-02-20coqide_8.0pl3-2_mipsel.deb  160 mirrors
1.29 MB  2005-02-20coqide_8.0pl3-2_mips.deb  162 mirrors
1.28 MB  2005-02-23coqide_8.0pl3-2_m68k.deb  161 mirrors
1.33 MB  2005-02-19coqide_8.0pl3-2_ia64.deb  181 mirrors
3.28 MB  2005-02-19coqide_8.0pl3-2_i386.deb  283+ mirrors
1.30 MB  2005-02-19coqide_8.0pl3-2_hppa.deb  160 mirrors
1.27 MB  2005-02-20coqide_8.0pl3-2_arm.deb  167 mirrors
3.49 MB  2005-03-31coqide_8.0pl3-2_amd64.deb  271+ mirrors
1.31 MB  2005-02-20coqide_8.0pl3-2_alpha.deb  168 mirrors
3.00 MB  2007-08-15coq_8.2~beta4+dfsg.orig.tar.gz  info  browse  55 mirrors
 coq_8.2~beta4+dfsg.orig.tar.gz
 /Main/Debian/Other/

11.28 MB  2007-08-17coq_8.2~beta4+dfsg-2_sparc.deb  37 mirrors
5.62 MB  2007-08-20coq_8.2~beta4+dfsg-2_s390.deb  35 mirrors
11.27 MB  2007-08-19coq_8.2~beta4+dfsg-2_powerpc.deb  37 mirrors
5.82 MB  2007-08-23coq_8.2~beta4+dfsg-2_ia64.deb  39 mirrors
10.12 MB  2007-08-16coq_8.2~beta4+dfsg-2_i386.deb  info  browse  56 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/i386/math/

5.57 MB  2007-08-17coq_8.2~beta4+dfsg-2_hppa.deb  38 mirrors
10.76 MB  2007-08-19coq_8.2~beta4+dfsg-2_amd64.deb  55 mirrors
5.63 MB  2007-08-19coq_8.2~beta4+dfsg-2_alpha.deb  37 mirrors
1.52 KB  2007-08-16coq_8.2~beta4+dfsg-2.dsc  54 mirrors
13.97 KB  2007-08-16coq_8.2~beta4+dfsg-2.diff.gz  54 mirrors
2.42 MB  2007-01-05coq_8.1.pl3+dfsg.orig.tar.gz  info  browse  427+ mirrors
 coq_8.1.pl3+dfsg.orig.tar.gz
 /Main/Debian/Other/

8.02 MB  2007-08-22coq_8.1.pl3+dfsg-1_hurd-i386.deb  44 mirrors
1.04 KB  2007-01-05coq_8.1.pl3+dfsg-1.dsc  429+ mirrors
15.21 KB  2007-01-05coq_8.1.pl3+dfsg-1.diff.gz  428+ mirrors
9.03 MB  2007-05-25coq_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
4.13 MB  2007-05-26coq_8.1.pl3+dfsg-1+b2_s390.deb  153 mirrors