ftp://ftp.cpan.nl/pub/debian/pool/main/c/coq/  direct

3.79 MB  2006-02-19coqide_8.0pl3-2_sparc.deb  181 mirrors
1.32 MB  2006-02-18coqide_8.0pl3-2_s390.deb  159 mirrors
3.71 MB  2006-02-19coqide_8.0pl3-2_powerpc.deb  185 mirrors
1.28 MB  2006-02-19coqide_8.0pl3-2_mipsel.deb  160 mirrors
1.29 MB  2006-02-19coqide_8.0pl3-2_mips.deb  162 mirrors
1.28 MB  2006-02-22coqide_8.0pl3-2_m68k.deb  161 mirrors
1.33 MB  2006-02-18coqide_8.0pl3-2_ia64.deb  181 mirrors
3.28 MB  2006-02-18coqide_8.0pl3-2_i386.deb  283+ mirrors
1.30 MB  2006-02-18coqide_8.0pl3-2_hppa.deb  160 mirrors
1.27 MB  2006-02-19coqide_8.0pl3-2_arm.deb  167 mirrors
3.49 MB  2006-03-30coqide_8.0pl3-2_amd64.deb  271+ mirrors
1.31 MB  2006-02-19coqide_8.0pl3-2_alpha.deb  168 mirrors
3.79 MB  2006-02-05coqide_8.0pl3-1_sparc.deb
1.32 MB  2006-01-23coqide_8.0pl3-1_s390.deb
3.71 MB  2006-01-24coqide_8.0pl3-1_powerpc.deb
1.28 MB  2006-01-24coqide_8.0pl3-1_mipsel.deb
1.29 MB  2006-01-24coqide_8.0pl3-1_mips.deb
1.28 MB  2006-01-25coqide_8.0pl3-1_m68k.deb
1.33 MB  2006-01-28coqide_8.0pl3-1_ia64.deb
3.28 MB  2006-01-22coqide_8.0pl3-1_i386.deb
1.30 MB  2006-01-28coqide_8.0pl3-1_hppa.deb
1.27 MB  2006-01-31coqide_8.0pl3-1_arm.deb
1.31 MB  2006-01-24coqide_8.0pl3-1_alpha.deb
4.73 MB  2006-06-16coqide_8.0pl3+8.1beta-1_sparc.deb
4.20 MB  2006-06-15coqide_8.0pl3+8.1beta-1_i386.deb
4.65 MB  2006-06-17coqide_8.0pl3+8.1beta-1_arm.deb
4.69 MB  2006-04-30coqide_8.0pl3+8.1alpha-2_sparc.deb
4.61 MB  2006-05-28coqide_8.0pl3+8.1alpha-2_powerpc.deb
2.09 MB  2006-05-05coqide_8.0pl3+8.1alpha-2_mipsel.deb
2.10 MB  2006-05-12coqide_8.0pl3+8.1alpha-2_mips.deb
4.17 MB  2006-04-29coqide_8.0pl3+8.1alpha-2_i386.deb  2 mirrors
4.62 MB  2006-05-21coqide_8.0pl3+8.1alpha-2_arm.deb
4.17 MB  2006-04-28coqide_8.0pl3+8.1alpha-1_i386.deb
4.47 MB  2005-11-21coqide_8.0pl2-4_sparc.deb  2 mirrors
2.01 MB  2005-11-21coqide_8.0pl2-4_s390.deb  2 mirrors
4.39 MB  2005-11-21coqide_8.0pl2-4_powerpc.deb  2 mirrors
1.97 MB  2005-11-21coqide_8.0pl2-4_mipsel.deb  2 mirrors
1.98 MB  2005-11-21coqide_8.0pl2-4_mips.deb  2 mirrors
1.97 MB  2005-11-21coqide_8.0pl2-4_m68k.deb  2 mirrors
2.02 MB  2005-11-21coqide_8.0pl2-4_ia64.deb  2 mirrors
3.95 MB  2005-11-20coqide_8.0pl2-4_i386.deb  3 mirrors
1.99 MB  2005-11-21coqide_8.0pl2-4_hppa.deb  2 mirrors
1.95 MB  2005-11-21coqide_8.0pl2-4_arm.deb  2 mirrors
1.99 MB  2005-11-21coqide_8.0pl2-4_alpha.deb  2 mirrors
4.38 MB  2005-03-31coqide_8.0pl2-2_sparc.deb  39 mirrors
1.91 MB  2005-03-31coqide_8.0pl2-2_s390.deb  38 mirrors
4.31 MB  2005-03-31coqide_8.0pl2-2_powerpc.deb  40 mirrors
1.86 MB  2005-03-31coqide_8.0pl2-2_mipsel.deb  38 mirrors
1.87 MB  2005-04-03coqide_8.0pl2-2_mips.deb  38 mirrors
1.87 MB  2005-04-01coqide_8.0pl2-2_m68k.deb  38 mirrors