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