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

../
coq-doc_7.2-1.diff.gz                              19-Apr-2002 04:32    2443
coq-doc_7.2-1.dsc                                  19-Apr-2002 04:32     618
coq-doc_7.2-1_all.deb                              19-Apr-2002 04:32      1M
coq-doc_7.2.orig.tar.gz                            19-Apr-2002 04:32      1M
coq-doc_8.0pl1-1.diff.gz                           16-Aug-2004 09:47    2854
coq-doc_8.0pl1-1.dsc                               16-Aug-2004 09:47     580
coq-doc_8.0pl1-1_all.deb                           16-Aug-2004 09:47      2M
coq-doc_8.0pl1.0-1.diff.gz                         18-Sep-2004 15:32    3209
coq-doc_8.0pl1.0-1.dsc                             18-Sep-2004 15:32     586
coq-doc_8.0pl1.0-1_all.deb                         18-Sep-2004 15:32      2M
coq-doc_8.0pl1.0.orig.tar.gz                       18-Sep-2004 15:32      2M
coq-doc_8.0pl1.orig.tar.gz                         16-Aug-2004 09:47      2M