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

../
coq-theories_8.11.0-1_amd64.deb                    06-Mar-2020 12:08     32M
coq-theories_8.4pl3dfsg-1_all.deb                  20-Jan-2014 03:28     30M
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 17:34     31M
coq-theories_8.6-5build1_amd64.deb                 28-Oct-2017 19:04     32M
coq-theories_8.6-5build1_i386.deb                  28-Oct-2017 19:04     31M
coq_8.11.0-1_amd64.deb                             06-Mar-2020 12:08     73M
coq_8.15.0+dfsg-2_amd64.deb                        06-Feb-2022 03:22     91M
coq_8.16.1+dfsg-1build2_amd64.deb                  16-Feb-2023 14:28    104M
coq_8.18.0+dfsg-1build2_amd64.deb                  31-Mar-2024 23:02     91M
coq_8.4pl3dfsg-1_amd64.deb                         20-Jan-2014 03:28      4M
coq_8.4pl3dfsg-1_i386.deb                          20-Jan-2014 03:28      4M
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 17:34      4M
coq_8.4pl4dfsg-3build2_i386.deb                    04-Nov-2015 17:09      4M
coq_8.6-5build1_amd64.deb                          28-Oct-2017 19:04     17M
coq_8.6-5build1_i386.deb                           28-Oct-2017 19:04     16M
coqide_8.11.0-1_amd64.deb                          06-Mar-2020 12:08      2M
coqide_8.15.0+dfsg-2_amd64.deb                     06-Feb-2022 03:21      2M
coqide_8.16.1+dfsg-1build2_amd64.deb               16-Feb-2023 14:28      2M
coqide_8.18.0+dfsg-1build2_amd64.deb               31-Mar-2024 23:02      2M
coqide_8.4pl3dfsg-1_amd64.deb                      20-Jan-2014 03:28    727K
coqide_8.4pl3dfsg-1_i386.deb                       20-Jan-2014 03:28    662K
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 17:34    731K
coqide_8.4pl4dfsg-3build2_i386.deb                 04-Nov-2015 17:09    695K
coqide_8.6-5build1_amd64.deb                       28-Oct-2017 19:04      1M
coqide_8.6-5build1_i386.deb                        28-Oct-2017 19:04      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      06-Feb-2022 03:21     43M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64..> 16-Feb-2023 14:28     47M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 23:02     49M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          06-Feb-2022 03:21     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb    16-Feb-2023 14:28     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    31-Mar-2024 23:02     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                06-Mar-2020 12:08     15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            20-Jan-2014 03:28      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb             20-Jan-2014 03:28      3M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 17:34      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb       04-Nov-2015 17:09      4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb             28-Oct-2017 19:04     13M
libcoq-ocaml-dev_8.6-5build1_i386.deb              28-Oct-2017 19:04     13M
libcoq-ocaml_8.11.0-1_amd64.deb                    06-Mar-2020 12:08      6M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                20-Jan-2014 03:28      2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                 20-Jan-2014 03:28      1M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 17:34      1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb           04-Nov-2015 17:09      1M
libcoq-ocaml_8.6-5build1_amd64.deb                 28-Oct-2017 19:04      3M
libcoq-ocaml_8.6-5build1_i386.deb                  28-Oct-2017 19:04      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              06-Feb-2022 03:21     24M
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb        16-Feb-2023 14:28     23M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        31-Mar-2024 23:02     25M