../ coq-doc-html_8.20.0-2_all.deb 19-Oct-2026 18:48 2M coq-doc-pdf_8.20.0-2_all.deb 19-Oct-2026 18:48 5M coq-doc_8.20.0-2.debian.tar.xz 19-Oct-2026 18:48 8820 coq-doc_8.20.0-2.dsc 19-Oct-2026 18:48 2572 coq-doc_8.20.0-2_all.deb 19-Oct-2026 18:48 5364 coq-doc_8.20.0.orig.tar.gz 19-Oct-2026 18:48 7M