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

../
coq-doc-html_8.16.1-1_all.deb                      17-Apr-2026 15:16             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                      17-Apr-2026 15:14             1712376
coq-doc-pdf_8.16.1-1_all.deb                       17-Apr-2026 15:16             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                       17-Apr-2026 15:14             5063324
coq-doc_8.16.1-1_all.deb                           17-Apr-2026 15:16                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                           17-Apr-2026 15:14                5364