ftp://ftp.uni-mainz.de/pub/software/Linux/debian/pool/main/c/coq/  direct

3.49 MB  2009-07-05coq_8.2.pl1+dfsg-2_ia64.deb  21 mirrors
3.00 MB  2009-07-03coq_8.2.pl1+dfsg.orig.tar.gz  239+ mirrors
6.24 MB  2009-07-04coqide_8.2.pl1+dfsg-2_amd64.deb  37 mirrors
3.49 MB  2009-08-29coq_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
17.53 MB  2009-07-04coq-theories_8.2.pl1+dfsg-2_all.deb  38 mirrors
2.38 MB  2008-05-26coqide_8.1.pl3+dfsg-1+b2_ia64.deb  175 mirrors
4.70 MB  2008-05-25coqide_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
4.99 MB  2008-05-22coqide_8.1.pl3+dfsg-1+b2_amd64.deb  269+ 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
3.49 MB  2006-03-30coqide_8.0pl3-2_amd64.deb  271+ 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
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-25coq_8.1.pl3+dfsg-1+b2_i386.deb  277+ mirrors
8.62 MB  2008-05-22coq_8.1.pl3+dfsg-1+b2_amd64.deb  269+ mirrors
2.20 MB  2006-01-22coq_8.0pl3.orig.tar.gz  info  browse  302+ mirrors
 coq_8.0pl3.orig.tar.gz
 /Main/Debian/Other/

3.00 MB  2006-02-18coq_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
6.25 MB  2006-03-30coq_8.0pl3-2_amd64.deb  info  browse  272+ mirrors
 coq - proof assistant for higher-order logic (toplevel and compiler)
 /Main/Debian/amd64/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
3.64 MB  2006-02-18coq7-libs_8.0pl3-2_all.deb  292+ mirrors
12.01 MB  2008-01-04coq-libs_8.1.pl3+dfsg-1_all.deb  279+ mirrors
3.56 MB  2006-02-18coq-libs_8.0pl3-2_all.deb  info  browse  293+ mirrors
 coq-libs - proof assistant for higher-order logic (theories)
 /Main/Debian/all/math/

2.30 MB  2009-07-05coqide_8.2.pl1+dfsg-2_ia64.deb  21 mirrors
5.77 MB  2009-07-04libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb  37 mirrors
5.63 MB  2009-07-04libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb  38 mirrors
14.60 MB  2009-08-28coq_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
13.04 MB  2009-08-28coq_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
6.24 MB  2009-08-28coqide_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
5.74 MB  2009-08-28coqide_8.2.pl1+dfsg-3_i386.deb  145 mirrors
2.30 MB  2009-08-29coqide_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
6.23 MB  2009-08-28coqide_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
5.73 MB  2009-08-28coqide_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
5.77 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
5.63 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_i386.deb  145 mirrors
1.85 MB  2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_ia64.deb  90 mirrors
5.73 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-amd64.deb  126 mirrors
5.59 MB  2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-i386.deb  126 mirrors
1.85 MB  2009-07-05libcoq-ocaml-dev_8.2.pl1+dfsg-2_ia64.deb  21 mirrors
14.60 MB  2009-08-11coq_8.2.pl1+dfsg-2_kfreebsd-amd64.deb  20 mirrors
13.04 MB  2009-08-11coq_8.2.pl1+dfsg-2_kfreebsd-i386.deb  20 mirrors
6.23 MB  2009-08-11coqide_8.2.pl1+dfsg-2_kfreebsd-amd64.deb  20 mirrors
2.98 MB  2009-02-04coq_8.2~rc2+dfsg.orig.tar.gz  191 mirrors
14.60 MB  2009-08-28coq_8.2.pl1+dfsg-3_amd64.deb  142 mirrors
13.04 MB  2009-08-28coq_8.2.pl1+dfsg-3_i386.deb  145 mirrors
5.73 MB  2009-08-11coqide_8.2.pl1+dfsg-2_kfreebsd-i386.deb  20 mirrors
5.73 MB  2009-08-11libcoq-ocaml-dev_8.2.pl1+dfsg-2_kfreebsd-amd64.deb  20 mirrors