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

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


../
coq-theories_8.11.0-1_arm64.deb                    06-Mar-2020 16:13     20M
coq-theories_8.11.0-1_ppc64el.deb                  11-Mar-2020 17:53     20M
coq-theories_8.4pl3dfsg-1_all.deb                  20-Jan-2014 06:58     30M
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 21:04     31M
coq-theories_8.6-5build1_arm64.deb                 28-Oct-2017 23:20     22M
coq-theories_8.6-5build1_armhf.deb                 28-Oct-2017 23:20     22M
coq-theories_8.6-5build1_ppc64el.deb               28-Oct-2017 22:34     22M
coq-theories_8.6-5build1_s390x.deb                 28-Oct-2017 22:34     22M
coq_8.11.0-1.debian.tar.xz                         06-Mar-2020 14:53     31K
coq_8.11.0-1.dsc                                   06-Mar-2020 14:53    2496
coq_8.11.0-1_arm64.deb                             06-Mar-2020 16:13     80M
coq_8.11.0-1_ppc64el.deb                           11-Mar-2020 17:53     75M
coq_8.11.0.orig.tar.gz                             06-Mar-2020 14:53      6M
coq_8.15.0+dfsg-2.debian.tar.xz                    06-Feb-2022 00:49     39K
coq_8.15.0+dfsg-2.dsc                              06-Feb-2022 00:49    2599
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 19:54    102M
coq_8.15.0+dfsg-2_armhf.deb                        06-Feb-2022 06:53     89M
coq_8.15.0+dfsg-2_ppc64el.deb                      06-Feb-2022 06:53     94M
coq_8.15.0+dfsg-2_riscv64.deb                      06-Feb-2022 06:53     91M
coq_8.15.0+dfsg-2_s390x.deb                        06-Feb-2022 06:53     93M
coq_8.15.0+dfsg.orig.tar.xz                        18-Jan-2022 06:14      4M
coq_8.15.2+dfsg-2.debian.tar.xz                    12-Jun-2022 12:34     39K
coq_8.15.2+dfsg-2.dsc                              12-Jun-2022 12:34    2607
coq_8.15.2+dfsg-2_arm64.deb                        12-Jun-2022 13:28    101M
coq_8.15.2+dfsg-2_armhf.deb                        12-Jun-2022 13:28     89M
coq_8.15.2+dfsg-2_ppc64el.deb                      12-Jun-2022 13:28     93M
coq_8.15.2+dfsg-2_riscv64.deb                      12-Jun-2022 16:14     90M
coq_8.15.2+dfsg-2_s390x.deb                        12-Jun-2022 13:29     92M
coq_8.15.2+dfsg.orig.tar.xz                        01-Jun-2022 12:23      4M
coq_8.16.1+dfsg-1.debian.tar.xz                    30-Nov-2022 00:24     32K
coq_8.16.1+dfsg-1.dsc                              30-Nov-2022 00:24    2629
coq_8.16.1+dfsg-1_arm64.deb                        30-Nov-2022 01:50    118M
coq_8.16.1+dfsg-1_armhf.deb                        30-Nov-2022 01:50    102M
coq_8.16.1+dfsg-1_ppc64el.deb                      30-Nov-2022 01:50    108M
coq_8.16.1+dfsg-1_riscv64.deb                      30-Nov-2022 04:39    104M
coq_8.16.1+dfsg-1_s390x.deb                        30-Nov-2022 02:19    106M
coq_8.16.1+dfsg-1build1.debian.tar.xz              26-Jan-2023 15:29     33K
coq_8.16.1+dfsg-1build1.dsc                        26-Jan-2023 15:29    2628
coq_8.16.1+dfsg-1build1_arm64.deb                  26-Jan-2023 16:18    118M
coq_8.16.1+dfsg-1build1_armhf.deb                  26-Jan-2023 15:54    102M
coq_8.16.1+dfsg-1build1_ppc64el.deb                26-Jan-2023 15:54    108M
coq_8.16.1+dfsg-1build1_riscv64.deb                26-Jan-2023 19:54    104M
coq_8.16.1+dfsg-1build1_s390x.deb                  26-Jan-2023 15:54    106M
coq_8.16.1+dfsg-1build2.debian.tar.xz              16-Feb-2023 17:06     33K
coq_8.16.1+dfsg-1build2.dsc                        16-Feb-2023 17:06    2628
coq_8.16.1+dfsg-1build2_arm64.deb                  16-Feb-2023 17:58    117M
coq_8.16.1+dfsg-1build2_armhf.deb                  16-Feb-2023 17:58    102M
coq_8.16.1+dfsg-1build2_ppc64el.deb                16-Feb-2023 17:58    108M
coq_8.16.1+dfsg-1build2_riscv64.deb                16-Feb-2023 22:11    103M
coq_8.16.1+dfsg-1build2_s390x.deb                  16-Feb-2023 17:58    106M
coq_8.16.1+dfsg.orig.tar.xz                        30-Nov-2022 00:24      4M
coq_8.4pl3dfsg-1.debian.tar.xz                     20-Jan-2014 06:18     15K
coq_8.4pl3dfsg-1.dsc                               20-Jan-2014 06:18    2356
coq_8.4pl3dfsg-1_arm64.deb                         20-Jan-2014 10:43      1M
coq_8.4pl3dfsg-1_armhf.deb                         20-Jan-2014 08:03      4M
coq_8.4pl3dfsg-1_powerpc.deb                       20-Jan-2014 07:23      3M
coq_8.4pl3dfsg-1_ppc64el.deb                       18-Feb-2014 09:43      1M
coq_8.4pl3dfsg.orig.tar.gz                         20-Jan-2014 06:18      3M
coq_8.4pl4dfsg-3build2.debian.tar.xz               04-Nov-2015 20:14     16K
coq_8.4pl4dfsg-3build2.dsc                         04-Nov-2015 20:14    2398
coq_8.4pl4dfsg-3build2_arm64.deb                   04-Nov-2015 21:29      4M
coq_8.4pl4dfsg-3build2_armhf.deb                   04-Nov-2015 21:55      4M
coq_8.4pl4dfsg-3build2_powerpc.deb                 04-Nov-2015 20:39      3M
coq_8.4pl4dfsg-3build2_ppc64el.deb                 04-Nov-2015 21:55   1016K
coq_8.4pl4dfsg-3build2_s390x.deb                   05-Jan-2016 23:35   1017K
coq_8.4pl4dfsg.orig.tar.gz                         28-Jul-2014 06:13      3M
coq_8.6-5build1.debian.tar.xz                      28-Oct-2017 21:39     21K
coq_8.6-5build1.dsc                                28-Oct-2017 21:39    2403
coq_8.6-5build1_arm64.deb                          28-Oct-2017 23:20     18M
coq_8.6-5build1_armhf.deb                          28-Oct-2017 23:20     16M
coq_8.6-5build1_ppc64el.deb                        28-Oct-2017 22:34     17M
coq_8.6-5build1_s390x.deb                          28-Oct-2017 22:35     17M
coq_8.6.orig.tar.gz                                29-Dec-2016 00:13      5M
coqide_8.11.0-1_arm64.deb                          06-Mar-2020 16:13      2M
coqide_8.11.0-1_ppc64el.deb                        11-Mar-2020 17:53      2M
coqide_8.15.0+dfsg-2_arm64.deb                     06-Feb-2022 19:54      3M
coqide_8.15.0+dfsg-2_armhf.deb                     06-Feb-2022 06:53      2M
coqide_8.15.0+dfsg-2_ppc64el.deb                   06-Feb-2022 06:53      2M
coqide_8.15.0+dfsg-2_riscv64.deb                   06-Feb-2022 06:53      2M
coqide_8.15.0+dfsg-2_s390x.deb                     06-Feb-2022 06:53      2M
coqide_8.15.2+dfsg-2_arm64.deb                     12-Jun-2022 13:28      3M
coqide_8.15.2+dfsg-2_armhf.deb                     12-Jun-2022 13:28      2M
coqide_8.15.2+dfsg-2_ppc64el.deb                   12-Jun-2022 13:28      2M
coqide_8.15.2+dfsg-2_riscv64.deb                   12-Jun-2022 16:14      2M
coqide_8.15.2+dfsg-2_s390x.deb                     12-Jun-2022 13:29      2M
coqide_8.16.1+dfsg-1_arm64.deb                     30-Nov-2022 01:50      3M
coqide_8.16.1+dfsg-1_armhf.deb                     30-Nov-2022 01:50      2M
coqide_8.16.1+dfsg-1_ppc64el.deb                   30-Nov-2022 01:50      2M
coqide_8.16.1+dfsg-1_riscv64.deb                   30-Nov-2022 04:39      2M
coqide_8.16.1+dfsg-1_s390x.deb                     30-Nov-2022 02:19      2M
coqide_8.16.1+dfsg-1build1_arm64.deb               26-Jan-2023 16:18      3M
coqide_8.16.1+dfsg-1build1_armhf.deb               26-Jan-2023 15:54      2M
coqide_8.16.1+dfsg-1build1_ppc64el.deb             26-Jan-2023 15:54      2M
coqide_8.16.1+dfsg-1build1_riscv64.deb             26-Jan-2023 19:54      2M
coqide_8.16.1+dfsg-1build1_s390x.deb               26-Jan-2023 15:54      2M
coqide_8.16.1+dfsg-1build2_arm64.deb               16-Feb-2023 17:58      3M
coqide_8.16.1+dfsg-1build2_armhf.deb               16-Feb-2023 17:58      2M
coqide_8.16.1+dfsg-1build2_ppc64el.deb             16-Feb-2023 17:58      2M
coqide_8.16.1+dfsg-1build2_riscv64.deb             16-Feb-2023 22:11      2M
coqide_8.16.1+dfsg-1build2_s390x.deb               16-Feb-2023 17:58      2M
coqide_8.4pl3dfsg-1_arm64.deb                      20-Jan-2014 10:43    198K
coqide_8.4pl3dfsg-1_armhf.deb                      20-Jan-2014 08:03    758K
coqide_8.4pl3dfsg-1_powerpc.deb                    20-Jan-2014 07:23    627K
coqide_8.4pl3dfsg-1_ppc64el.deb                    18-Feb-2014 09:43    198K
coqide_8.4pl4dfsg-3build2_arm64.deb                04-Nov-2015 21:29    754K
coqide_8.4pl4dfsg-3build2_armhf.deb                04-Nov-2015 21:55    763K
coqide_8.4pl4dfsg-3build2_powerpc.deb              04-Nov-2015 20:39    649K
coqide_8.4pl4dfsg-3build2_ppc64el.deb              04-Nov-2015 21:55    208K
coqide_8.4pl4dfsg-3build2_s390x.deb                05-Jan-2016 23:35    208K
coqide_8.6-5build1_arm64.deb                       28-Oct-2017 23:20      2M
coqide_8.6-5build1_armhf.deb                       28-Oct-2017 23:20      1M
coqide_8.6-5build1_ppc64el.deb                     28-Oct-2017 22:34      2M
coqide_8.6-5build1_s390x.deb                       28-Oct-2017 22:34      2M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      06-Feb-2022 19:53     43M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb      06-Feb-2022 06:53     44M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb    06-Feb-2022 06:53     44M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb    06-Feb-2022 06:53     43M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb      06-Feb-2022 06:53     43M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb      12-Jun-2022 13:28     47M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb      12-Jun-2022 13:28     47M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_ppc64el.deb    12-Jun-2022 13:28     48M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_riscv64.deb    12-Jun-2022 16:14     53M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_s390x.deb      12-Jun-2022 13:29     47M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_arm64.deb      30-Nov-2022 01:50     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb      30-Nov-2022 01:50     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_ppc64el.deb    30-Nov-2022 01:50     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_riscv64.deb    30-Nov-2022 04:39     53M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_s390x.deb      30-Nov-2022 02:19     47M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_arm64..> 26-Jan-2023 16:18     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_armhf..> 26-Jan-2023 15:54     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_ppc64..> 26-Jan-2023 15:54     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_riscv..> 26-Jan-2023 19:54     53M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_s390x..> 26-Jan-2023 15:54     47M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64..> 16-Feb-2023 17:58     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf..> 16-Feb-2023 17:58     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_ppc64..> 16-Feb-2023 17:58     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_riscv..> 16-Feb-2023 22:11     53M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_s390x..> 16-Feb-2023 17:58     47M
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 19:53     27M
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb          06-Feb-2022 06:53     26M
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb        06-Feb-2022 06:53     26M
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb        06-Feb-2022 06:53     26M
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb          06-Feb-2022 06:53     26M
libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb          12-Jun-2022 13:28     27M
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb          12-Jun-2022 13:28     25M
libcoq-core-ocaml_8.15.2+dfsg-2_ppc64el.deb        12-Jun-2022 13:28     26M
libcoq-core-ocaml_8.15.2+dfsg-2_riscv64.deb        12-Jun-2022 16:14     25M
libcoq-core-ocaml_8.15.2+dfsg-2_s390x.deb          12-Jun-2022 13:29     26M
libcoq-core-ocaml_8.16.1+dfsg-1_arm64.deb          30-Nov-2022 01:50     27M
libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb          30-Nov-2022 01:50     26M
libcoq-core-ocaml_8.16.1+dfsg-1_ppc64el.deb        30-Nov-2022 01:50     26M
libcoq-core-ocaml_8.16.1+dfsg-1_riscv64.deb        30-Nov-2022 04:39     26M
libcoq-core-ocaml_8.16.1+dfsg-1_s390x.deb          30-Nov-2022 02:19     26M
libcoq-core-ocaml_8.16.1+dfsg-1build1_arm64.deb    26-Jan-2023 16:18     27M
libcoq-core-ocaml_8.16.1+dfsg-1build1_armhf.deb    26-Jan-2023 15:54     26M
libcoq-core-ocaml_8.16.1+dfsg-1build1_ppc64el.deb  26-Jan-2023 15:54     26M
libcoq-core-ocaml_8.16.1+dfsg-1build1_riscv64.deb  26-Jan-2023 19:54     26M
libcoq-core-ocaml_8.16.1+dfsg-1build1_s390x.deb    26-Jan-2023 15:54     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb    16-Feb-2023 17:58     27M
libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb    16-Feb-2023 17:58     25M
libcoq-core-ocaml_8.16.1+dfsg-1build2_ppc64el.deb  16-Feb-2023 17:58     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_riscv64.deb  16-Feb-2023 22:11     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_s390x.deb    16-Feb-2023 17:58     26M
libcoq-ocaml-dev_8.11.0-1_arm64.deb                06-Mar-2020 16:13     16M
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb              11-Mar-2020 17:53     16M
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb            20-Jan-2014 10:43      1M
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb            20-Jan-2014 08:03      4M
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb          20-Jan-2014 07:23      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb          18-Feb-2014 09:43      1M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb      04-Nov-2015 21:29      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb      04-Nov-2015 21:55      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb    04-Nov-2015 20:39      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb    04-Nov-2015 21:55      1M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb      05-Jan-2016 23:35      1M
libcoq-ocaml-dev_8.6-5build1_arm64.deb             28-Oct-2017 23:20     13M
libcoq-ocaml-dev_8.6-5build1_armhf.deb             28-Oct-2017 23:20     14M
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb           28-Oct-2017 22:34     13M
libcoq-ocaml-dev_8.6-5build1_s390x.deb             28-Oct-2017 22:34     13M
libcoq-ocaml_8.11.0-1_arm64.deb                    06-Mar-2020 16:13      7M
libcoq-ocaml_8.11.0-1_ppc64el.deb                  11-Mar-2020 17:53      6M
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb                20-Jan-2014 10:43    322K
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb                20-Jan-2014 08:03      1M
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb              20-Jan-2014 07:23      1M
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb              18-Feb-2014 09:43    322K
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb          04-Nov-2015 21:29      1M
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb          04-Nov-2015 21:55      1M
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb        04-Nov-2015 20:39      1M
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb        04-Nov-2015 21:55    328K
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb          05-Jan-2016 23:35    330K
libcoq-ocaml_8.6-5build1_arm64.deb                 28-Oct-2017 23:20      4M
libcoq-ocaml_8.6-5build1_armhf.deb                 28-Oct-2017 23:20      3M
libcoq-ocaml_8.6-5build1_ppc64el.deb               28-Oct-2017 22:34      3M
libcoq-ocaml_8.6-5build1_s390x.deb                 28-Oct-2017 22:34      3M
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 19:54     24M
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb              06-Feb-2022 06:53     24M
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb            06-Feb-2022 06:53     24M
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb            06-Feb-2022 06:53     24M
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb              06-Feb-2022 06:53     24M
libcoq-stdlib_8.15.2+dfsg-2_arm64.deb              12-Jun-2022 13:28     23M
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb              12-Jun-2022 13:28     23M
libcoq-stdlib_8.15.2+dfsg-2_ppc64el.deb            12-Jun-2022 13:28     23M
libcoq-stdlib_8.15.2+dfsg-2_riscv64.deb            12-Jun-2022 16:14     23M
libcoq-stdlib_8.15.2+dfsg-2_s390x.deb              12-Jun-2022 13:29     23M
libcoq-stdlib_8.16.1+dfsg-1_arm64.deb              30-Nov-2022 01:50     23M
libcoq-stdlib_8.16.1+dfsg-1_armhf.deb              30-Nov-2022 01:50     23M
libcoq-stdlib_8.16.1+dfsg-1_ppc64el.deb            30-Nov-2022 01:50     23M
libcoq-stdlib_8.16.1+dfsg-1_riscv64.deb            30-Nov-2022 04:39     23M
libcoq-stdlib_8.16.1+dfsg-1_s390x.deb              30-Nov-2022 02:19     23M
libcoq-stdlib_8.16.1+dfsg-1build1_arm64.deb        26-Jan-2023 16:18     23M
libcoq-stdlib_8.16.1+dfsg-1build1_armhf.deb        26-Jan-2023 15:54     23M
libcoq-stdlib_8.16.1+dfsg-1build1_ppc64el.deb      26-Jan-2023 15:54     23M
libcoq-stdlib_8.16.1+dfsg-1build1_riscv64.deb      26-Jan-2023 19:54     23M
libcoq-stdlib_8.16.1+dfsg-1build1_s390x.deb        26-Jan-2023 15:54     23M
libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb        16-Feb-2023 17:58     23M
libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb        16-Feb-2023 17:58     23M
libcoq-stdlib_8.16.1+dfsg-1build2_ppc64el.deb      16-Feb-2023 17:58     23M
libcoq-stdlib_8.16.1+dfsg-1build2_riscv64.deb      16-Feb-2023 22:11     23M
libcoq-stdlib_8.16.1+dfsg-1build2_s390x.deb        16-Feb-2023 17:58     23M