ftp://ftp.rz.uni-kiel.de/pub2/linux/debian/pool/main/c/coq/  direct

5.26 MB  2008-05-23coqide_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
4.70 MB  2008-05-25coqide_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
2.30 MB  2008-05-24coqide_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
4.99 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
2.35 MB  2007-09-08coqide_8.1.pl1+dfsg-3_s390.deb
5.18 MB  2007-09-07coqide_8.1.pl1+dfsg-3_powerpc.deb
2.29 MB  2007-09-07coqide_8.1.pl1+dfsg-3_mipsel.deb
2.30 MB  2007-09-07coqide_8.1.pl1+dfsg-3_mips.deb
2.31 MB  2007-09-08coqide_8.1.pl1+dfsg-3_hppa.deb
2.27 MB  2007-09-07coqide_8.1.pl1+dfsg-3_arm.deb
2.33 MB  2007-09-07coqide_8.1.pl1+dfsg-3_alpha.deb
2.24 MB  2007-08-18coqide_8.1.pl1+dfsg-1_s390.deb
4.97 MB  2007-08-19coqide_8.1.pl1+dfsg-1_powerpc.deb
2.17 MB  2007-08-19coqide_8.1.pl1+dfsg-1_mipsel.deb
2.18 MB  2007-08-19coqide_8.1.pl1+dfsg-1_mips.deb
2.24 MB  2007-08-18coqide_8.1.pl1+dfsg-1_ia64.deb
2.20 MB  2007-08-18coqide_8.1.pl1+dfsg-1_hppa.deb
4.94 MB  2007-08-18coqide_8.1.pl1+dfsg-1_arm.deb
2.21 MB  2007-08-19coqide_8.1.pl1+dfsg-1_alpha.deb
2.16 MB  2007-07-09coqide_8.1+dfsg-6_m68k.deb
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
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
1.92 MB  2005-03-31coqide_8.0pl2-2_ia64.deb  38 mirrors
4.54 MB  2005-03-31coqide_8.0pl2-2_hppa.deb  38 mirrors
1.86 MB  2005-04-08coqide_8.0pl2-2_arm.deb  39 mirrors
1.90 MB  2005-03-31coqide_8.0pl2-2_alpha.deb  38 mirrors
2.42 MB  2008-01-04coq_8.1.pl3+dfsg.orig.tar.gz  info  browse  427+ mirrors
 coq_8.1.pl3+dfsg.orig.tar.gz
 /Main/Debian/Other/

1.04 KB  2008-01-04coq_8.1.pl3+dfsg-1.dsc  429+ mirrors
15.21 KB  2008-01-04coq_8.1.pl3+dfsg-1.diff.gz  428+ mirrors
9.03 MB  2008-05-23coq_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
8.07 MB  2008-05-25coq_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
4.02 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
8.62 MB  2008-05-22coq_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
3.36 MB  2007-09-08coq_8.1.pl1+dfsg-3_s390.deb
8.24 MB  2007-09-07coq_8.1.pl1+dfsg-3_powerpc.deb