ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/c/coq/  direct

1.85 MB  2009-08-30libcoq-ocaml-dev_8.2.pl1+dfsg-3_mipsel.deb  76 mirrors
3.00 MB  2009-07-03coq_8.2.pl1+dfsg.orig.tar.gz  239+ 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/

1.30 MB  2006-02-17coqide_8.0pl3-2_hppa.deb  160 mirrors
3.28 MB  2006-02-17coqide_8.0pl3-2_i386.deb  283+ mirrors
1.33 MB  2006-02-17coqide_8.0pl3-2_ia64.deb  181 mirrors
1.28 MB  2006-02-21coqide_8.0pl3-2_m68k.deb  161 mirrors
1.29 MB  2006-02-18coqide_8.0pl3-2_mips.deb  162 mirrors
1.28 MB  2006-02-18coqide_8.0pl3-2_mipsel.deb  160 mirrors
3.71 MB  2006-02-18coqide_8.0pl3-2_powerpc.deb  185 mirrors
1.32 MB  2006-02-17coqide_8.0pl3-2_s390.deb  159 mirrors
3.79 MB  2006-02-18coqide_8.0pl3-2_sparc.deb  181 mirrors
2.35 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_alpha.deb  162 mirrors
4.99 MB  2008-05-21coqide_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
2.30 MB  2008-05-23coqide_8.1.pl3+dfsg-1+b2_arm.deb  160 mirrors
2.30 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
2.33 MB  2008-05-27coqide_8.1.pl3+dfsg-1+b2_hppa.deb  154 mirrors
4.70 MB  2008-05-24coqide_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
2.38 MB  2008-05-25coqide_8.1.pl3+dfsg-1+b2_ia64.deb  175 mirrors
2.32 MB  2008-05-25coqide_8.1.pl3+dfsg-1+b2_mips.deb  156 mirrors
2.31 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_mipsel.deb  154 mirrors
5.25 MB  2008-05-26coqide_8.1.pl3+dfsg-1+b2_powerpc.deb  178 mirrors
2.38 MB  2008-05-23coqide_8.1.pl3+dfsg-1+b2_s390.deb  153 mirrors
5.26 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_sparc.deb  175 mirrors
3.56 MB  2006-02-17coq-libs_8.0pl3-2_all.deb  info  browse  293+ mirrors
 coq-libs - proof assistant for higher-order logic (theories)
 /Main/Debian/all/math/

12.01 MB  2008-01-03coq-libs_8.1.pl3+dfsg-1_all.deb  279+ mirrors
3.64 MB  2006-02-17coq7-libs_8.0pl3-2_all.deb  292+ mirrors
15.91 KB  2006-02-17coq_8.0pl3-2.diff.gz  278+ mirrors
891 B  2006-02-17coq_8.0pl3-2.dsc  274+ mirrors
2.86 MB  2006-02-18coq_8.0pl3-2_alpha.deb  info  browse  169 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/alpha/math/

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

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

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

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

2.65 MB  2006-02-21coq_8.0pl3-2_m68k.deb  info  browse  162 mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/m68k/math/

2.79 MB  2006-02-18coq_8.0pl3-2_mips.deb  162 mirrors
2.78 MB  2006-02-18coq_8.0pl3-2_mipsel.deb  160 mirrors
6.63 MB  2006-02-18coq_8.0pl3-2_powerpc.deb  185 mirrors
2.84 MB  2006-02-17coq_8.0pl3-2_s390.deb  159 mirrors
6.72 MB  2006-02-18coq_8.0pl3-2_sparc.deb  181 mirrors
4.14 MB  2008-05-22coq_8.1.pl3+dfsg-1+b2_alpha.deb  162 mirrors
8.62 MB  2008-05-21coq_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
4.00 MB  2008-05-23coq_8.1.pl3+dfsg-1+b2_arm.deb  160 mirrors
4.02 MB  2008-05-22coq_8.1.pl3+dfsg-1+b2_armel.deb  214+ mirrors
4.08 MB  2008-05-27coq_8.1.pl3+dfsg-1+b2_hppa.deb  154 mirrors
8.07 MB  2008-05-24coq_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
4.27 MB  2008-05-25coq_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/

4.05 MB  2008-05-25coq_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/

4.04 MB  2008-05-22coq_8.1.pl3+dfsg-1+b2_mipsel.deb  154 mirrors