Index of /ubuntu/pool/universe/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    18-Nov-2020 00:52     32M
coq-theories_8.6-5build1_amd64.deb                 28-Oct-2017 08:34     32M
coq-theories_8.6-5build1_i386.deb                  18-Nov-2020 00:52     31M
coq_8.11.0-1.debian.tar.xz                         08-Sep-2021 01:34     31K
coq_8.11.0-1.dsc                                   08-Sep-2021 01:34    2496
coq_8.11.0-1_amd64.deb                             18-Nov-2020 00:52     73M
coq_8.11.0.orig.tar.gz                             08-Sep-2021 01:34      6M
coq_8.15.0+dfsg-2.debian.tar.xz                    29-Aug-2022 16:27     39K
coq_8.15.0+dfsg-2.dsc                              29-Aug-2022 16:27    2599
coq_8.15.0+dfsg-2_amd64.deb                        29-Aug-2022 16:27     91M
coq_8.15.0+dfsg.orig.tar.xz                        29-Aug-2022 16:27      4M
coq_8.18.0+dfsg-1build2.debian.tar.xz              06-May-2024 18:58     33K
coq_8.18.0+dfsg-1build2.dsc                        06-May-2024 18:58    2685
coq_8.18.0+dfsg-1build2_amd64.deb                  06-May-2024 18:58     91M
coq_8.18.0+dfsg.orig.tar.xz                        06-May-2024 18:58      5M
coq_8.6-5build1.debian.tar.xz                      08-Sep-2021 01:34     21K
coq_8.6-5build1.dsc                                08-Sep-2021 01:34    2403
coq_8.6-5build1_amd64.deb                          28-Oct-2017 08:34     17M
coq_8.6-5build1_i386.deb                           18-Nov-2020 00:52     16M
coq_8.6.orig.tar.gz                                08-Sep-2021 01:34      5M
coqide_8.11.0-1_amd64.deb                          18-Nov-2020 00:52      2M
coqide_8.15.0+dfsg-2_amd64.deb                     29-Aug-2022 16:27      2M
coqide_8.18.0+dfsg-1build2_amd64.deb               06-May-2024 18:58      2M
coqide_8.6-5build1_amd64.deb                       28-Oct-2017 08:34      1M
coqide_8.6-5build1_i386.deb                        18-Nov-2020 00:52      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      29-Aug-2022 16:27     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 06-May-2024 18:58     49M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          29-Aug-2022 16:27     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    06-May-2024 18:58     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                18-Nov-2020 00:52     15M
libcoq-ocaml-dev_8.6-5build1_amd64.deb             28-Oct-2017 08:34     13M
libcoq-ocaml-dev_8.6-5build1_i386.deb              18-Nov-2020 00:52     13M
libcoq-ocaml_8.11.0-1_amd64.deb                    18-Nov-2020 00:52      6M
libcoq-ocaml_8.6-5build1_amd64.deb                 28-Oct-2017 08:34      3M
libcoq-ocaml_8.6-5build1_i386.deb                  18-Nov-2020 00:52      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              29-Aug-2022 16:27     24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        06-May-2024 18:58     25M