../ coq-doc_7.2-1.diff.gz 19-Apr-2002 06:32 2443 coq-doc_7.2-1.dsc 19-Apr-2002 06:32 618 coq-doc_7.2-1_all.deb 19-Apr-2002 06:32 1221366 coq-doc_7.2.orig.tar.gz 19-Apr-2002 06:32 1218177