Index of /transitions/20260515/repo/pool/coq-doc/

../
coq-doc-html_8.20.0-2+ocaml1_all.deb               15-May-2026 09:12             1712472
coq-doc-pdf_8.20.0-2+ocaml1_all.deb                15-May-2026 09:12             5067024
coq-doc_8.20.0-2+ocaml1.debian.tar.xz              15-May-2026 09:12                8904
coq-doc_8.20.0-2+ocaml1.dsc                        15-May-2026 09:12                1680
coq-doc_8.20.0-2+ocaml1_all.deb                    15-May-2026 09:12                4944
coq-doc_8.20.0-2+ocaml1_amd64-2026-05-15T07:17:..> 15-May-2026 09:12             2325379
coq-doc_8.20.0-2+ocaml1_amd64.build                15-May-2026 09:12             2325379
coq-doc_8.20.0-2+ocaml1_amd64.buildinfo            15-May-2026 09:12               13080
coq-doc_8.20.0-2+ocaml1_amd64.changes              15-May-2026 09:12                2630
coq-doc_8.20.0.orig.tar.gz                         15-May-2026 09:11             7839432