ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/c/coq/  direct

3.79 MB  2005-02-19coqide_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-19coqide_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
4.47 MB  2004-11-21coqide_8.0pl2-4_sparc.deb  2 mirrors
2.01 MB  2004-11-22coqide_8.0pl2-4_s390.deb  2 mirrors
4.39 MB  2004-11-22coqide_8.0pl2-4_powerpc.deb  2 mirrors
1.97 MB  2004-11-22coqide_8.0pl2-4_mipsel.deb  2 mirrors
1.98 MB  2004-11-22coqide_8.0pl2-4_mips.deb  2 mirrors
1.97 MB  2004-11-22coqide_8.0pl2-4_m68k.deb  2 mirrors
2.02 MB  2004-11-21coqide_8.0pl2-4_ia64.deb  2 mirrors
3.95 MB  2004-11-21coqide_8.0pl2-4_i386.deb  3 mirrors
1.99 MB  2004-11-21coqide_8.0pl2-4_hppa.deb  2 mirrors
1.95 MB  2004-11-22coqide_8.0pl2-4_arm.deb  2 mirrors
1.99 MB  2004-11-22coqide_8.0pl2-4_alpha.deb  2 mirrors
4.38 MB  2004-03-31coqide_8.0pl2-2_sparc.deb  39 mirrors
1.91 MB  2004-03-31coqide_8.0pl2-2_s390.deb  38 mirrors
4.31 MB  2004-03-31coqide_8.0pl2-2_powerpc.deb  40 mirrors
1.86 MB  2004-03-31coqide_8.0pl2-2_mipsel.deb  38 mirrors
1.87 MB  2004-04-03coqide_8.0pl2-2_mips.deb  38 mirrors
1.87 MB  2004-04-01coqide_8.0pl2-2_m68k.deb  38 mirrors
1.92 MB  2004-03-31coqide_8.0pl2-2_ia64.deb  38 mirrors
3.87 MB  2004-03-30coqide_8.0pl2-2_i386.deb  info  browse  66 mirrors
 coqide - proof assistant for higher-order logic (gtk interface)
 /Main/Debian/i386/math/

4.54 MB  2004-03-31coqide_8.0pl2-2_hppa.deb  38 mirrors
1.86 MB  2004-04-08coqide_8.0pl2-2_arm.deb  39 mirrors
1.90 MB  2004-03-31coqide_8.0pl2-2_alpha.deb  38 mirrors
2.20 MB  2005-01-23coq_8.0pl3.orig.tar.gz  info  browse  302+ mirrors
 coq_8.0pl3.orig.tar.gz
 /Main/Debian/Other/

6.72 MB  2005-02-19coq_8.0pl3-2_sparc.deb  181 mirrors
2.84 MB  2005-02-19coq_8.0pl3-2_s390.deb  159 mirrors
6.63 MB  2005-02-20coq_8.0pl3-2_powerpc.deb  185 mirrors
2.78 MB  2005-02-20coq_8.0pl3-2_mipsel.deb  160 mirrors
2.79 MB  2005-02-20coq_8.0pl3-2_mips.deb  162 mirrors
2.65 MB  2005-02-23coq_8.0pl3-2_m68k.deb  info  browse  162 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/m68k/math/

3.00 MB  2005-02-19coq_8.0pl3-2_ia64.deb  info  browse  182 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/ia64/math/

5.83 MB  2005-02-19coq_8.0pl3-2_i386.deb  283+ mirrors
2.83 MB  2005-02-19coq_8.0pl3-2_hppa.deb  info  browse  161 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/hppa/math/

2.72 MB  2005-02-19coq_8.0pl3-2_arm.deb  info  browse  168 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/arm/math/

6.25 MB  2005-03-31coq_8.0pl3-2_amd64.deb  info  browse  272+ mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/amd64/math/

2.86 MB  2005-02-20coq_8.0pl3-2_alpha.deb  info  browse  169 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/alpha/math/

891 B  2005-02-19coq_8.0pl3-2.dsc  274+ mirrors
15.91 KB  2005-02-19coq_8.0pl3-2.diff.gz  278+ mirrors
2.18 MB  2004-01-31coq_8.0pl2.orig.tar.gz  info  browse  273+ mirrors
 coq_8.0pl2.orig.tar.gz
 /Main/Debian/Other/