ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/c/coq/  direct

10.12 MB  2008-08-15coq_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  2008-08-15coq_8.2~beta4+dfsg-2_hppa.deb  38 mirrors
10.76 MB  2008-08-18coq_8.2~beta4+dfsg-2_amd64.deb  55 mirrors
5.63 MB  2008-08-18coq_8.2~beta4+dfsg-2_alpha.deb  37 mirrors
1.52 KB  2008-08-15coq_8.2~beta4+dfsg-2.dsc  54 mirrors
13.97 KB  2008-08-15coq_8.2~beta4+dfsg-2.diff.gz  54 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/

8.02 MB  2008-08-21coq_8.1.pl3+dfsg-1_hurd-i386.deb  44 mirrors
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
4.13 MB  2008-05-25coq_8.1.pl3+dfsg-1+b2_s390.deb  153 mirrors
9.02 MB  2008-05-28coq_8.1.pl3+dfsg-1+b2_powerpc.deb  info  browse  179 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/powerpc/math/

4.04 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_mipsel.deb  154 mirrors
4.05 MB  2008-05-27coq_8.1.pl3+dfsg-1+b2_mips.deb  info  browse  157 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/mips/math/

3.92 MB  2008-06-19coq_8.1.pl3+dfsg-1+b2_m68k.deb  19 mirrors
4.27 MB  2008-05-26coq_8.1.pl3+dfsg-1+b2_ia64.deb  info  browse  176 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/ia64/math/

8.07 MB  2008-05-26coq_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
4.08 MB  2008-05-28coq_8.1.pl3+dfsg-1+b2_hppa.deb  154 mirrors
4.02 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
4.00 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_arm.deb  160 mirrors
8.62 MB  2008-05-23coq_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
4.14 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_alpha.deb  162 mirrors
2.20 MB  2006-01-23coq_8.0pl3.orig.tar.gz  info  browse  302+ mirrors
 coq_8.0pl3.orig.tar.gz
 /Main/Debian/Other/

6.72 MB  2006-02-19coq_8.0pl3-2_sparc.deb  181 mirrors
2.84 MB  2006-02-19coq_8.0pl3-2_s390.deb  159 mirrors
6.63 MB  2006-02-20coq_8.0pl3-2_powerpc.deb  185 mirrors
2.78 MB  2006-02-20coq_8.0pl3-2_mipsel.deb  160 mirrors
2.79 MB  2006-02-20coq_8.0pl3-2_mips.deb  162 mirrors
2.65 MB  2006-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  2006-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  2006-02-18coq_8.0pl3-2_i386.deb  283+ mirrors
2.83 MB  2006-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  2006-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  2006-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  2006-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  2006-02-18coq_8.0pl3-2.dsc  274+ mirrors
15.91 KB  2006-02-18coq_8.0pl3-2.diff.gz  278+ mirrors
2.18 MB  2005-01-31coq_8.0pl2.orig.tar.gz  info  browse  273+ mirrors
 coq_8.0pl2.orig.tar.gz
 /Main/Debian/Other/

6.65 MB  2005-03-31coq_8.0pl2-2_sparc.deb  info  browse  40 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/sparc/math/

2.78 MB  2005-03-31coq_8.0pl2-2_s390.deb  38 mirrors
6.57 MB  2005-03-31coq_8.0pl2-2_powerpc.deb  info  browse  41 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/powerpc/math/

2.72 MB  2005-03-31coq_8.0pl2-2_mipsel.deb  38 mirrors
2.73 MB  2005-04-04coq_8.0pl2-2_mips.deb  38 mirrors
2.61 MB  2005-04-01coq_8.0pl2-2_m68k.deb  38 mirrors
2.97 MB  2005-03-31coq_8.0pl2-2_ia64.deb  info  browse  39 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/ia64/math/

5.76 MB  2005-03-31coq_8.0pl2-2_i386.deb  info  browse  66 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/i386/math/

6.96 MB  2005-03-31coq_8.0pl2-2_hppa.deb  38 mirrors
2.68 MB  2005-04-08coq_8.0pl2-2_arm.deb  39 mirrors
2.82 MB  2005-03-31coq_8.0pl2-2_alpha.deb  info  browse  39 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/alpha/math/