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-html_8.6-1_all.deb                         25-Aug-2023 18:28              462740
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-pdf_8.6-1_all.deb                          25-Aug-2023 18:28             2534360
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
coq-doc_8.6-1.debian.tar.xz                        25-Aug-2023 18:28                8304
coq-doc_8.6-1.dsc                                  25-Aug-2023 18:28                2311
coq-doc_8.6-1_all.deb                              25-Aug-2023 18:28                4390
coq-doc_8.6.orig.tar.gz                            25-Aug-2023 18:28             5538848