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-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_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