../ coq-doc-html_8.4pl4-2_all.deb 11-Feb-2016 21:59 473720 coq-doc-pdf_8.4pl4-2_all.deb 11-Feb-2016 21:59 2467952 coq-doc_8.4pl4-2.debian.tar.xz 11-Feb-2016 21:59 8404 coq-doc_8.4pl4-2.dsc 11-Feb-2016 21:59 2243 coq-doc_8.4pl4-2_all.deb 11-Feb-2016 21:59 50462 coq-doc_8.4pl4.orig.tar.gz 17-Aug-2014 13:30 4067355