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

../
coq-doc-html_8.15.0-3_all.deb                      31-Mar-2026 02:31      1M
coq-doc-html_8.18.0-1_all.deb                      31-Mar-2026 02:31      1M
coq-doc-html_8.20.0-2build1_all.deb                03-Dec-2025 11:05      2M
coq-doc-pdf_8.15.0-3_all.deb                       31-Mar-2026 02:31      4M
coq-doc-pdf_8.18.0-1_all.deb                       31-Mar-2026 02:31      5M
coq-doc-pdf_8.20.0-2build1_all.deb                 03-Dec-2025 11:05      5M
coq-doc_8.15.0-3.debian.tar.xz                     22-Feb-2022 23:24    7600
coq-doc_8.15.0-3.dsc                               22-Feb-2022 23:24    2554
coq-doc_8.15.0-3_all.deb                           31-Mar-2026 02:31    4012
coq-doc_8.15.0.orig.tar.gz                         09-Feb-2022 05:35      7M
coq-doc_8.18.0-1.debian.tar.xz                     25-Jan-2024 23:15    8064
coq-doc_8.18.0-1.dsc                               25-Jan-2024 23:15    2560
coq-doc_8.18.0-1_all.deb                           31-Mar-2026 02:31    4020
coq-doc_8.18.0.orig.tar.gz                         25-Jan-2024 23:15      7M
coq-doc_8.20.0-2build1.debian.tar.xz               03-Dec-2025 11:04    8900
coq-doc_8.20.0-2build1.dsc                         03-Dec-2025 11:04    2559
coq-doc_8.20.0-2build1_all.deb                     03-Dec-2025 11:05    4044
coq-doc_8.20.0.orig.tar.gz                         27-Dec-2024 06:05      7M