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