../ coq-doc-html_8.18.0-1_all.deb 05-Mar-2026 08:08 1M coq-doc-pdf_8.18.0-1_all.deb 05-Mar-2026 08:08 5M coq-doc_8.18.0-1.debian.tar.xz 05-Mar-2026 08:08 8064 coq-doc_8.18.0-1.dsc 05-Mar-2026 08:08 2560 coq-doc_8.18.0-1_all.deb 05-Mar-2026 08:08 4020 coq-doc_8.18.0.orig.tar.gz 05-Mar-2026 08:08 7M