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

../
coq-doc-html_8.15.0-3_all.deb                      27-Aug-2023 01:03             1343072
coq-doc-html_8.18.0-1_all.deb                      03-Apr-2024 05:10             1548520
coq-doc-pdf_8.15.0-3_all.deb                       27-Aug-2023 01:03             4062240
coq-doc-pdf_8.18.0-1_all.deb                       03-Apr-2024 05:10             4732100
coq-doc_8.15.0-3.debian.tar.xz                     27-Aug-2023 01:03                7600
coq-doc_8.15.0-3.dsc                               27-Aug-2023 01:03                2554
coq-doc_8.15.0-3_all.deb                           27-Aug-2023 01:03                4012
coq-doc_8.15.0.orig.tar.gz                         27-Aug-2023 01:03             7215106
coq-doc_8.18.0-1.debian.tar.xz                     03-Apr-2024 05:10                8064
coq-doc_8.18.0-1.dsc                               03-Apr-2024 05:10                2560
coq-doc_8.18.0-1_all.deb                           03-Apr-2024 05:10                4020
coq-doc_8.18.0.orig.tar.gz                         03-Apr-2024 05:10             7612742