../ coq-doc_7.2-1.diff.gz 13-May-2004 12:22 2443 coq-doc_7.2-1.dsc 13-May-2004 12:22 618 coq-doc_7.2-1_all.deb 17-Mar-2004 11:08 1M coq-doc_7.2.orig.tar.gz 13-May-2004 12:22 1M