Index of /debian-archive/debian/pool/main/c/coq-doc/

name	size	date
coq-doc_7.2-1.dsc	0.6K	2002-04-19 04:32:03
coq-doc_7.2-1_all.deb	1.16M	2002-04-19 04:32:03
coq-doc_7.2.orig.tar.gz	1.16M	2002-04-19 04:32:03
coq-doc_7.2-1.diff.gz	2.4K	2002-04-19 04:32:02