Index of /backports/20260106/pool/coq-doc/

../
coq-doc-html_8.20.0-2+ocaml1_all.deb               06-Jan-2026 03:05             1712792
coq-doc-pdf_8.20.0-2+ocaml1_all.deb                06-Jan-2026 03:05             5062168
coq-doc_8.20.0-2+ocaml1.debian.tar.xz              06-Jan-2026 03:05                8904
coq-doc_8.20.0-2+ocaml1.dsc                        06-Jan-2026 03:05                1680
coq-doc_8.20.0-2+ocaml1_all.deb                    06-Jan-2026 03:05                5456
coq-doc_8.20.0-2+ocaml1_amd64-2026-01-06T02:55:..> 06-Jan-2026 03:05             2341803
coq-doc_8.20.0-2+ocaml1_amd64.build                06-Jan-2026 03:05             2341803
coq-doc_8.20.0-2+ocaml1_amd64.buildinfo            06-Jan-2026 03:05               13149
coq-doc_8.20.0-2+ocaml1_amd64.changes              06-Jan-2026 03:05                2632
coq-doc_8.20.0.orig.tar.gz                         06-Jan-2026 03:05             7839432