Index of /mirrors/Linux/Guadalinex/mirror/debian/pool/main/c/coq/

../
coq-libs_8.0pl1-3_i386.deb                         27-Aug-2004 01:02      4M
coq7-libs_8.0pl1-3_i386.deb                        27-Aug-2004 01:02      4M
coq_7.2-9.diff.gz                                  15-Feb-2002 19:24    4657
coq_7.2-9.dsc                                      15-Feb-2002 19:15     614
coq_7.2-9_i386.deb                                 15-Feb-2002 19:24      8M
coq_7.2.orig.tar.gz                                18-Jan-2002 21:26      1M
coq_8.0pl1-3.diff.gz                               26-Aug-2004 18:32     11K
coq_8.0pl1-3.dsc                                   26-Aug-2004 18:32     918
coq_8.0pl1-3_i386.deb                              27-Aug-2004 01:02      6M
coq_8.0pl1.orig.tar.gz                             30-Jul-2004 10:32      2M
coqide_8.0pl1-3_i386.deb                           27-Aug-2004 01:02      4M