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

../
coq-doc-html_8.18.0-1_all.deb                      05-Mar-2026 08:08      1M
coq-doc-html_8.20.0-2build1_all.deb                22-Jul-2026 17:58      2M
coq-doc-pdf_8.18.0-1_all.deb                       05-Mar-2026 08:08      5M
coq-doc-pdf_8.20.0-2build1_all.deb                 22-Jul-2026 17:58      5M
coq-doc_8.18.0-1.debian.tar.xz                     05-Mar-2026 08:08    8064
coq-doc_8.18.0-1.dsc                               05-Mar-2026 08:08    2560
coq-doc_8.18.0-1_all.deb                           05-Mar-2026 08:08    4020
coq-doc_8.18.0.orig.tar.gz                         05-Mar-2026 08:08      7M
coq-doc_8.20.0-2build1.debian.tar.xz               22-Jul-2026 17:58    8900
coq-doc_8.20.0-2build1.dsc                         22-Jul-2026 17:58    2559
coq-doc_8.20.0-2build1_all.deb                     22-Jul-2026 17:58    4044
coq-doc_8.20.0.orig.tar.gz                         22-Jul-2026 17:58      7M