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

../
coq-doc-html_8.20.0-2+ocaml1_all.deb               25-Apr-2026 08:24             1712656
coq-doc-pdf_8.20.0-2+ocaml1_all.deb                25-Apr-2026 08:24             5061516
coq-doc_8.20.0-2+ocaml1.debian.tar.xz              25-Apr-2026 08:24                8892
coq-doc_8.20.0-2+ocaml1.dsc                        25-Apr-2026 08:24                1680
coq-doc_8.20.0-2+ocaml1_all.deb                    25-Apr-2026 08:24                4936
coq-doc_8.20.0-2+ocaml1_amd64-2026-04-25T03:03:..> 25-Apr-2026 08:24             2264177
coq-doc_8.20.0-2+ocaml1_amd64-2026-04-25T07:21:..> 25-Apr-2026 08:24             2323705
coq-doc_8.20.0-2+ocaml1_amd64.build                25-Apr-2026 08:24             2323705
coq-doc_8.20.0-2+ocaml1_amd64.buildinfo            25-Apr-2026 08:24               13015
coq-doc_8.20.0-2+ocaml1_amd64.changes              25-Apr-2026 08:24                2630
coq-doc_8.20.0.orig.tar.gz                         25-Apr-2026 08:23             7839432