Index of /mirror/archive.debian.org/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             1221366
coq-doc_7.2.orig.tar.gz                            19-Apr-2002 04:32             1218177