../ coq-doc-html_8.4pl4-2_all.deb 12-Feb-2016 06:45 415730 coq-doc-pdf_8.4pl4-2_all.deb 12-Feb-2016 06:45 2423032 coq-doc_8.4pl4-2.debian.tar.xz 12-Feb-2016 05:13 8404 coq-doc_8.4pl4-2.dsc 12-Feb-2016 05:13 2243 coq-doc_8.4pl4-2_all.deb 12-Feb-2016 06:45 4402 coq-doc_8.4pl4.orig.tar.gz 24-Oct-2014 08:05 4067355