../ coq-doc-html_8.6-1_all.deb 13-Jul-2017 10:50 548554 coq-doc-pdf_8.6-1_all.deb 13-Jul-2017 10:50 2592376 coq-doc_8.6-1.debian.tar.xz 13-Jul-2017 10:50 8304 coq-doc_8.6-1.dsc 13-Jul-2017 10:50 2311 coq-doc_8.6-1_all.deb 13-Jul-2017 10:50 63758 coq-doc_8.6.orig.tar.gz 13-Jul-2017 10:50 5538848