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


../
coq-theories_8.11.0-1_amd64.deb                                                                                          06-Mar-2020 08:38     32M
coq-theories_8.4pl3dfsg-1_all.deb                                                                                        19-Jan-2014 23:58     30M
coq-theories_8.4pl4dfsg-3build2_all.deb                                                                                  04-Nov-2015 14:04     31M
coq-theories_8.6-5build1_amd64.deb                                                                                       28-Oct-2017 15:34     32M
coq-theories_8.6-5build1_i386.deb                                                                                        28-Oct-2017 15:34     31M
coq_8.11.0-1.debian.tar.xz                                                                                               06-Mar-2020 07:53     31K
coq_8.11.0-1.dsc                                                                                                         06-Mar-2020 07:53    2496
coq_8.11.0-1_amd64.deb                                                                                                   06-Mar-2020 08:38     73M
coq_8.11.0.orig.tar.gz                                                                                                   06-Mar-2020 07:53      6M
coq_8.15.0+dfsg-2.debian.tar.xz                                                                                          05-Feb-2022 17:49     39K
coq_8.15.0+dfsg-2.dsc                                                                                                    05-Feb-2022 17:49    2599
coq_8.15.0+dfsg-2_amd64.deb                                                                                              05-Feb-2022 23:52     91M
coq_8.15.0+dfsg.orig.tar.xz                                                                                              17-Jan-2022 23:14      4M
coq_8.16.1+dfsg-1build2.debian.tar.xz                                                                                    16-Feb-2023 10:06     33K
coq_8.16.1+dfsg-1build2.dsc                                                                                              16-Feb-2023 10:06    2628
coq_8.16.1+dfsg-1build2_amd64.deb                                                                                        16-Feb-2023 10:58    104M
coq_8.16.1+dfsg.orig.tar.xz                                                                                              29-Nov-2022 17:24      4M
coq_8.17.0+dfsg-1build1.debian.tar.xz                                                                                    24-Jul-2023 17:37     32K
coq_8.17.0+dfsg-1build1.dsc                                                                                              24-Jul-2023 17:37    2628
coq_8.17.0+dfsg-1build1_amd64.deb                                                                                        24-Jul-2023 17:37     89M
coq_8.17.0+dfsg.orig.tar.xz                                                                                              12-Jun-2023 18:01      5M
coq_8.18.0+dfsg-1.debian.tar.xz                                                                                          22-Dec-2023 19:46     32K
coq_8.18.0+dfsg-1.dsc                                                                                                    22-Dec-2023 19:46    2570
coq_8.18.0+dfsg-1_amd64.deb                                                                                              22-Dec-2023 19:47    114M
coq_8.18.0+dfsg-1build1.debian.tar.xz                                                                                    08-Mar-2024 04:42     33K
coq_8.18.0+dfsg-1build1.dsc                                                                                              08-Mar-2024 04:42    2685
coq_8.18.0+dfsg-1build1_amd64.deb                                                                                        08-Mar-2024 04:43     92M
coq_8.18.0+dfsg.orig.tar.xz                                                                                              22-Dec-2023 19:46      5M
coq_8.4pl3dfsg-1.debian.tar.xz                                                                                           19-Jan-2014 23:18     15K
coq_8.4pl3dfsg-1.dsc                                                                                                     19-Jan-2014 23:18    2356
coq_8.4pl3dfsg-1_amd64.deb                                                                                               19-Jan-2014 23:58      4M
coq_8.4pl3dfsg-1_i386.deb                                                                                                19-Jan-2014 23:58      4M
coq_8.4pl3dfsg.orig.tar.gz                                                                                               19-Jan-2014 23:18      3M
coq_8.4pl4dfsg-3build2.debian.tar.xz                                                                                     04-Nov-2015 13:14     16K
coq_8.4pl4dfsg-3build2.dsc                                                                                               04-Nov-2015 13:14    2398
coq_8.4pl4dfsg-3build2_amd64.deb                                                                                         04-Nov-2015 14:04      4M
coq_8.4pl4dfsg-3build2_i386.deb                                                                                          04-Nov-2015 13:39      4M
coq_8.4pl4dfsg.orig.tar.gz                                                                                               27-Jul-2014 23:13      3M
coq_8.6-5build1.debian.tar.xz                                                                                            28-Oct-2017 14:39     21K
coq_8.6-5build1.dsc                                                                                                      28-Oct-2017 14:39    2403
coq_8.6-5build1_amd64.deb                                                                                                28-Oct-2017 15:34     17M
coq_8.6-5build1_i386.deb                                                                                                 28-Oct-2017 15:34     16M
coq_8.6.orig.tar.gz                                                                                                      28-Dec-2016 17:13      5M
coqide_8.11.0-1_amd64.deb                                                                                                06-Mar-2020 08:38      2M
coqide_8.15.0+dfsg-2_amd64.deb                                                                                           05-Feb-2022 23:51      2M
coqide_8.16.1+dfsg-1build2_amd64.deb                                                                                     16-Feb-2023 10:58      2M
coqide_8.17.0+dfsg-1build1_amd64.deb                                                                                     24-Jul-2023 17:37      2M
coqide_8.18.0+dfsg-1_amd64.deb                                                                                           22-Dec-2023 19:47      3M
coqide_8.18.0+dfsg-1build1_amd64.deb                                                                                     08-Mar-2024 04:43      2M
coqide_8.4pl3dfsg-1_amd64.deb                                                                                            19-Jan-2014 23:58    727K
coqide_8.4pl3dfsg-1_i386.deb                                                                                             19-Jan-2014 23:58    662K
coqide_8.4pl4dfsg-3build2_amd64.deb                                                                                      04-Nov-2015 14:04    731K
coqide_8.4pl4dfsg-3build2_i386.deb                                                                                       04-Nov-2015 13:39    695K
coqide_8.6-5build1_amd64.deb                                                                                             28-Oct-2017 15:34      1M
coqide_8.6-5build1_i386.deb                                                                                              28-Oct-2017 15:34      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb                                                                            05-Feb-2022 23:51     43M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb                                                                      16-Feb-2023 10:58     47M
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb                                                                      24-Jul-2023 17:37     48M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb                                                                            22-Dec-2023 19:47     62M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_amd64.deb                                                                      08-Mar-2024 04:43     49M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb                                                                                05-Feb-2022 23:51     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb                                                                          16-Feb-2023 10:58     26M
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb                                                                          24-Jul-2023 17:37     26M
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb                                                                                22-Dec-2023 19:47     33M
libcoq-core-ocaml_8.18.0+dfsg-1build1_amd64.deb                                                                          08-Mar-2024 04:43     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                                                                                      06-Mar-2020 08:38     15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb                                                                                  19-Jan-2014 23:58      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb                                                                                   19-Jan-2014 23:58      3M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb                                                                            04-Nov-2015 14:04      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb                                                                             04-Nov-2015 13:39      4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb                                                                                   28-Oct-2017 15:34     13M
libcoq-ocaml-dev_8.6-5build1_i386.deb                                                                                    28-Oct-2017 15:34     13M
libcoq-ocaml_8.11.0-1_amd64.deb                                                                                          06-Mar-2020 08:38      6M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                                                                                      19-Jan-2014 23:58      2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                                                                                       19-Jan-2014 23:58      1M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb                                                                                04-Nov-2015 14:04      1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb                                                                                 04-Nov-2015 13:39      1M
libcoq-ocaml_8.6-5build1_amd64.deb                                                                                       28-Oct-2017 15:34      3M
libcoq-ocaml_8.6-5build1_i386.deb                                                                                        28-Oct-2017 15:34      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb                                                                                    05-Feb-2022 23:51     24M
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb                                                                              16-Feb-2023 10:58     23M
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb                                                                              24-Jul-2023 17:37     27M
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb                                                                                    22-Dec-2023 19:47     34M
libcoq-stdlib_8.18.0+dfsg-1build1_amd64.deb                                                                              08-Mar-2024 04:43     25M