../ coq-doc-html_8.4pl4-1_all.deb 17-Aug-2014 21:30 463K coq-doc-pdf_8.4pl4-1_all.deb 17-Aug-2014 21:30 2M coq-doc_8.4pl4-1.debian.tar.xz 17-Aug-2014 21:30 8084 coq-doc_8.4pl4-1.dsc 17-Aug-2014 21:30 2243 coq-doc_8.4pl4-1_all.deb 17-Aug-2014 21:30 49K coq-doc_8.4pl4.orig.tar.gz 17-Aug-2014 21:30 4M