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