Index of /debian/pool/non-free/c/coq-doc/

../
coq-doc-html_8.16.1-1_all.deb                      11-Aug-2026 14:30             1583152
coq-doc-html_8.19.1-2_all.deb                      01-Jan-2025 00:36             1671408
coq-doc-html_8.20.0-1_all.deb                      29-Jan-2025 01:05             1709724
coq-doc-html_8.20.0-2_all.deb                      11-Aug-2026 14:29             1712376
coq-doc-pdf_8.16.1-1_all.deb                       11-Aug-2026 14:30             4333996
coq-doc-pdf_8.19.1-2_all.deb                       01-Jan-2025 00:36             4835968
coq-doc-pdf_8.20.0-1_all.deb                       29-Jan-2025 01:05             5061848
coq-doc-pdf_8.20.0-2_all.deb                       11-Aug-2026 14:29             5063324
coq-doc_8.16.1-1_all.deb                           11-Aug-2026 14:30                4924
coq-doc_8.19.1-2_all.deb                           01-Jan-2025 00:36                5276
coq-doc_8.20.0-1_all.deb                           29-Jan-2025 01:05                5292
coq-doc_8.20.0-2_all.deb                           11-Aug-2026 14:29                5364