../ coq-doc-html_9.2.0-1_all.deb 03-Aug-2026 14:02 1910192 coq-doc-pdf_9.2.0-1_all.deb 03-Aug-2026 14:02 5681408 coq-doc_9.2.0-1.debian.tar.xz 03-Aug-2026 14:02 8620 coq-doc_9.2.0-1.dsc 03-Aug-2026 14:02 2565 coq-doc_9.2.0-1_all.deb 03-Aug-2026 14:02 4920 coq-doc_9.2.0.orig.tar.gz 03-Aug-2026 14:02 6559931