Index of /ubuntu/pool/multiverse/c/coq-doc/

../
coq-doc-html_8.15.0-3_all.deb                      13-Apr-2022 15:04             1343072
coq-doc-html_8.18.0-1_all.deb                      04-Apr-2024 04:29             1548520
coq-doc-html_8.20.0-2build1_all.deb                10-Apr-2026 04:44             1605012
coq-doc-pdf_8.15.0-3_all.deb                       13-Apr-2022 15:04             4062240
coq-doc-pdf_8.18.0-1_all.deb                       04-Apr-2024 04:29             4732100
coq-doc-pdf_8.20.0-2build1_all.deb                 10-Apr-2026 04:44             5060552
coq-doc_8.15.0-3.debian.tar.xz                     13-Apr-2022 15:04                7600
coq-doc_8.15.0-3.dsc                               13-Apr-2022 15:04                2554
coq-doc_8.15.0-3_all.deb                           13-Apr-2022 15:04                4012
coq-doc_8.15.0.orig.tar.gz                         13-Apr-2022 15:04             7215106
coq-doc_8.18.0-1.debian.tar.xz                     04-Apr-2024 04:29                8064
coq-doc_8.18.0-1.dsc                               04-Apr-2024 04:29                2560
coq-doc_8.18.0-1_all.deb                           04-Apr-2024 04:29                4020
coq-doc_8.18.0.orig.tar.gz                         04-Apr-2024 04:29             7612742
coq-doc_8.20.0-2build1.debian.tar.xz               10-Apr-2026 04:44                8900
coq-doc_8.20.0-2build1.dsc                         10-Apr-2026 04:44                2559
coq-doc_8.20.0-2build1_all.deb                     10-Apr-2026 04:44                4044
coq-doc_8.20.0.orig.tar.gz                         10-Apr-2026 04:44             7839432