ftp://132.246.2.23/debian-archive/pool/main/c/coq/  direct

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
1.92 MB  2005-03-31coqide_8.0pl2-2_ia64.deb  38 mirrors
3.87 MB  2005-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  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.18 MB  2005-04-29coq_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-03coq_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-30coq_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/

919 B  2005-04-29coq_8.0pl2-2.dsc  97 mirrors
10.83 KB  2005-04-29coq_8.0pl2-2.diff.gz  101 mirrors
1.10 MB  2002-01-17coq_7.2.orig.tar.gz  info  browse  32 mirrors
 coq_7.2.orig.tar.gz
 /Main/Debian/Other/

6.90 MB  2002-02-15coq_7.2-9_sparc.deb  28 mirrors
6.87 MB  2002-02-15coq_7.2-9_s390.deb  22 mirrors
6.87 MB  2002-02-15coq_7.2-9_powerpc.deb  info  browse  24 mirrors
 coq - a proof assistant for higher-order logic.
 /Main/Debian/powerpc/devel/

6.89 MB  2002-02-15coq_7.2-9_mipsel.deb  22 mirrors
6.90 MB  2002-02-15coq_7.2-9_mips.deb  22 mirrors
6.81 MB  2002-02-17coq_7.2-9_m68k.deb  22 mirrors
9.45 MB  2002-02-15coq_7.2-9_ia64.deb  info  browse  24 mirrors
 coq - a proof assistant for higher-order logic.
 /Main/Debian/ia64/devel/

7.80 MB  2002-02-14coq_7.2-9_i386.deb  info  browse  31 mirrors
 coq - a proof assistant for higher-order logic.
 /Main/Debian/i386/devel/

6.97 MB  2002-02-15coq_7.2-9_hppa.deb  22 mirrors
8.05 MB  2002-02-15coq_7.2-9_arm.deb  22 mirrors
8.48 MB  2002-02-15coq_7.2-9_alpha.deb  info  browse  23 mirrors
 coq - a proof assistant for higher-order logic.
 /Main/Debian/alpha/devel/

614 B  2002-02-14coq_7.2-9.dsc  25 mirrors
4.55 KB  2002-02-14coq_7.2-9.diff.gz  30 mirrors
3.63 MB  2005-03-30coq7-libs_8.0pl2-2_all.deb  info  browse  106 mirrors
 coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
 /Main/Debian/all/math/

3.56 MB  2005-04-29coq-libs_8.0pl2-2_all.deb  info  browse  106 mirrors
 coq-libs - proof assistant for higher-order logic (theories)
 /Main/Debian/all/math/