../ coq-doc-html_8.20.0-2_all.deb 09-Feb-2026 23:39 1712376 coq-doc-pdf_8.20.0-2_all.deb 09-Feb-2026 23:39 5063324 coq-doc_8.20.0-2.debian.tar.xz 09-Feb-2026 23:39 8820 coq-doc_8.20.0-2.dsc 09-Feb-2026 23:39 2572 coq-doc_8.20.0-2_all.deb 09-Feb-2026 23:39 5364 coq-doc_8.20.0.orig.tar.gz 09-Feb-2026 23:39 7839432