../ coq-doc-html_8.20.0-2_all.deb 24-Jan-2025 09:58 1712376 coq-doc-pdf_8.20.0-2_all.deb 24-Jan-2025 09:58 5063324 coq-doc_8.20.0-2.debian.tar.xz 24-Jan-2025 04:17 8820 coq-doc_8.20.0-2.dsc 24-Jan-2025 04:17 2572 coq-doc_8.20.0-2_all.deb 24-Jan-2025 09:58 5364 coq-doc_8.20.0.orig.tar.gz 27-Dec-2024 04:06 7839432