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

../
coq-doc-html_8.3pl2-1build1_all.deb                21-Mar-2025 17:11              500118
coq-doc-html_8.4pl2-1_all.deb                      21-Mar-2025 17:11              413392
coq-doc-html_8.4pl4-2_all.deb                      21-Mar-2025 17:11              415730
coq-doc-html_8.6-1_all.deb                         21-Mar-2025 17:11              462740
coq-doc-pdf_8.3pl2-1build1_all.deb                 21-Mar-2025 17:11             2390886
coq-doc-pdf_8.4pl2-1_all.deb                       21-Mar-2025 17:11             2421008
coq-doc-pdf_8.4pl4-2_all.deb                       21-Mar-2025 17:11             2423032
coq-doc-pdf_8.6-1_all.deb                          21-Mar-2025 17:11             2534360
coq-doc_8.3pl2-1build1.debian.tar.gz               21-Mar-2025 17:11                8788
coq-doc_8.3pl2-1build1.dsc                         21-Mar-2025 17:11                2250
coq-doc_8.3pl2-1build1_all.deb                     21-Mar-2025 17:11                4594
coq-doc_8.3pl2.orig.tar.gz                         21-Mar-2025 17:11             3760176
coq-doc_8.4pl2-1.debian.tar.gz                     21-Mar-2025 17:11                8729
coq-doc_8.4pl2-1.dsc                               21-Mar-2025 17:11                2237
coq-doc_8.4pl2-1_all.deb                           21-Mar-2025 17:11                4456
coq-doc_8.4pl2.orig.tar.gz                         21-Mar-2025 17:11             4145112
coq-doc_8.4pl4-2.debian.tar.xz                     21-Mar-2025 17:11                8404
coq-doc_8.4pl4-2.dsc                               21-Mar-2025 17:11                2243
coq-doc_8.4pl4-2_all.deb                           21-Mar-2025 17:11                4402
coq-doc_8.4pl4.orig.tar.gz                         21-Mar-2025 17:11             4067355
coq-doc_8.6-1.debian.tar.xz                        21-Mar-2025 17:11                8304
coq-doc_8.6-1.dsc                                  21-Mar-2025 17:11                2311
coq-doc_8.6-1_all.deb                              21-Mar-2025 17:11                4390
coq-doc_8.6.orig.tar.gz                            21-Mar-2025 17:11             5538848