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


../
coq-theories_8.11.0-1_arm64.deb                    06-Mar-2020 09:13     20M
coq-theories_8.11.0-1_ppc64el.deb                  11-Mar-2020 10:53     20M
coq-theories_8.12.0-3build3_ppc64el.deb            28-Nov-2020 10:13     23M
coq-theories_8.12.0-3build3_riscv64.deb            28-Nov-2020 14:28     23M
coq-theories_8.14.1+dfsg-1_ppc64el.deb             11-Dec-2021 17:39     24M
coq-theories_8.14.1+dfsg-1_riscv64.deb             11-Dec-2021 21:04     24M
coq-theories_8.14.1+dfsg-1_s390x.deb               11-Dec-2021 17:39     24M
coq-theories_8.15.0+dfsg-1build1_ppc64el.deb       25-Jan-2022 15:34     24M
coq-theories_8.15.0+dfsg-1build1_riscv64.deb       25-Jan-2022 20:19     24M
coq-theories_8.15.0+dfsg-1build1_s390x.deb         25-Jan-2022 15:34     24M
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_arm64.deb                 28-Oct-2017 16:20     22M
coq-theories_8.6-5build1_armhf.deb                 28-Oct-2017 16:20     22M
coq-theories_8.6-5build1_ppc64el.deb               28-Oct-2017 15:34     22M
coq-theories_8.6-5build1_s390x.deb                 28-Oct-2017 15:34     22M
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_arm64.deb                             06-Mar-2020 09:13     80M
coq_8.11.0-1_ppc64el.deb                           11-Mar-2020 10:53     75M
coq_8.11.0.orig.tar.gz                             06-Mar-2020 07:53      6M
coq_8.12.0-3build3.debian.tar.xz                   28-Nov-2020 09:28     37K
coq_8.12.0-3build3.dsc                             28-Nov-2020 09:28    2507
coq_8.12.0-3build3_ppc64el.deb                     28-Nov-2020 10:13     87M
coq_8.12.0-3build3_riscv64.deb                     28-Nov-2020 14:28     84M
coq_8.12.0.orig.tar.gz                             15-Sep-2020 08:23      6M
coq_8.14.1+dfsg-1.debian.tar.xz                    11-Dec-2021 17:19     39K
coq_8.14.1+dfsg-1.dsc                              11-Dec-2021 17:19    2925
coq_8.14.1+dfsg-1_ppc64el.deb                      11-Dec-2021 17:39     91M
coq_8.14.1+dfsg-1_riscv64.deb                      11-Dec-2021 21:04     88M
coq_8.14.1+dfsg-1_s390x.deb                        11-Dec-2021 17:39     90M
coq_8.14.1+dfsg.orig.tar.xz                        11-Dec-2021 17:19      4M
coq_8.15.0+dfsg-1build1.debian.tar.xz              25-Jan-2022 15:14     39K
coq_8.15.0+dfsg-1build1.dsc                        25-Jan-2022 15:14    2631
coq_8.15.0+dfsg-1build1_ppc64el.deb                25-Jan-2022 15:34     94M
coq_8.15.0+dfsg-1build1_riscv64.deb                25-Jan-2022 20:19     90M
coq_8.15.0+dfsg-1build1_s390x.deb                  25-Jan-2022 15:34     93M
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 12:54    102M
coq_8.15.0+dfsg-2_armhf.deb                        05-Feb-2022 23:53     89M
coq_8.15.0+dfsg.orig.tar.xz                        17-Jan-2022 23:14      4M
coq_8.16.1+dfsg-1build2_arm64.deb                  16-Feb-2023 10:58    117M
coq_8.16.1+dfsg-1build2_armhf.deb                  16-Feb-2023 10:58    102M
coq_8.17.0+dfsg-1build1_arm64.deb                  24-Jul-2023 18:09     99M
coq_8.17.0+dfsg-1build1_armhf.deb                  24-Jul-2023 18:09     87M
coq_8.18.0+dfsg-1build2_arm64.deb                  01-Apr-2024 01:55    102M
coq_8.18.0+dfsg-1build2_armhf.deb                  01-Apr-2024 01:55     89M
coq_8.19.1+dfsg-3build3_arm64.deb                  07-Sep-2024 08:10    103M
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_arm64.deb                         20-Jan-2014 03:43      1M
coq_8.4pl3dfsg-1_armhf.deb                         20-Jan-2014 01:03      4M
coq_8.4pl3dfsg-1_powerpc.deb                       20-Jan-2014 00:23      3M
coq_8.4pl3dfsg-1_ppc64el.deb                       18-Feb-2014 02:43      1M
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_arm64.deb                   04-Nov-2015 14:29      4M
coq_8.4pl4dfsg-3build2_armhf.deb                   04-Nov-2015 14:55      4M
coq_8.4pl4dfsg-3build2_powerpc.deb                 04-Nov-2015 13:39      3M
coq_8.4pl4dfsg-3build2_ppc64el.deb                 04-Nov-2015 14:55   1016K
coq_8.4pl4dfsg-3build2_s390x.deb                   05-Jan-2016 16:35   1017K
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_arm64.deb                          28-Oct-2017 16:20     18M
coq_8.6-5build1_armhf.deb                          28-Oct-2017 16:20     16M
coq_8.6-5build1_ppc64el.deb                        28-Oct-2017 15:34     17M
coq_8.6-5build1_s390x.deb                          28-Oct-2017 15:35     17M
coq_8.6.orig.tar.gz                                28-Dec-2016 17:13      5M
coqide_8.11.0-1_arm64.deb                          06-Mar-2020 09:13      2M
coqide_8.11.0-1_ppc64el.deb                        11-Mar-2020 10:53      2M
coqide_8.12.0-3build3_ppc64el.deb                  28-Nov-2020 10:13      2M
coqide_8.12.0-3build3_riscv64.deb                  28-Nov-2020 14:28      2M
coqide_8.14.1+dfsg-1_ppc64el.deb                   11-Dec-2021 17:39      2M
coqide_8.14.1+dfsg-1_riscv64.deb                   11-Dec-2021 21:04      2M
coqide_8.14.1+dfsg-1_s390x.deb                     11-Dec-2021 17:39      2M
coqide_8.15.0+dfsg-1build1_ppc64el.deb             25-Jan-2022 15:34      2M
coqide_8.15.0+dfsg-1build1_riscv64.deb             25-Jan-2022 20:19      2M
coqide_8.15.0+dfsg-1build1_s390x.deb               25-Jan-2022 15:34      2M
coqide_8.15.0+dfsg-2_arm64.deb                     06-Feb-2022 12:54      3M
coqide_8.15.0+dfsg-2_armhf.deb                     05-Feb-2022 23:53      2M
coqide_8.16.1+dfsg-1build2_arm64.deb               16-Feb-2023 10:58      3M
coqide_8.16.1+dfsg-1build2_armhf.deb               16-Feb-2023 10:58      2M
coqide_8.17.0+dfsg-1build1_arm64.deb               24-Jul-2023 18:09      3M
coqide_8.17.0+dfsg-1build1_armhf.deb               24-Jul-2023 18:09      2M
coqide_8.18.0+dfsg-1build2_arm64.deb               01-Apr-2024 01:55      3M
coqide_8.18.0+dfsg-1build2_armhf.deb               01-Apr-2024 01:55      2M
coqide_8.19.1+dfsg-3build3_arm64.deb               07-Sep-2024 08:10      3M
coqide_8.4pl3dfsg-1_arm64.deb                      20-Jan-2014 03:43    198K
coqide_8.4pl3dfsg-1_armhf.deb                      20-Jan-2014 01:03    758K
coqide_8.4pl3dfsg-1_powerpc.deb                    20-Jan-2014 00:23    627K
coqide_8.4pl3dfsg-1_ppc64el.deb                    18-Feb-2014 02:43    198K
coqide_8.4pl4dfsg-3build2_arm64.deb                04-Nov-2015 14:29    754K
coqide_8.4pl4dfsg-3build2_armhf.deb                04-Nov-2015 14:55    763K
coqide_8.4pl4dfsg-3build2_powerpc.deb              04-Nov-2015 13:39    649K
coqide_8.4pl4dfsg-3build2_ppc64el.deb              04-Nov-2015 14:55    208K
coqide_8.4pl4dfsg-3build2_s390x.deb                05-Jan-2016 16:35    208K
coqide_8.6-5build1_arm64.deb                       28-Oct-2017 16:20      2M
coqide_8.6-5build1_armhf.deb                       28-Oct-2017 16:20      1M
coqide_8.6-5build1_ppc64el.deb                     28-Oct-2017 15:34      2M
coqide_8.6-5build1_s390x.deb                       28-Oct-2017 15:34      2M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      06-Feb-2022 12:53     43M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb      05-Feb-2022 23:53     44M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64..> 16-Feb-2023 10:58     48M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf..> 16-Feb-2023 10:58     48M
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64..> 24-Jul-2023 18:09     48M
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf..> 24-Jul-2023 18:09     48M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55     49M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 01-Apr-2024 01:55     50M
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64..> 07-Sep-2024 08:10     65M
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 12:53     27M
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb          05-Feb-2022 23:53     26M
libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb    16-Feb-2023 10:58     27M
libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb    16-Feb-2023 10:58     25M
libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb    24-Jul-2023 18:09     27M
libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb    24-Jul-2023 18:09     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    01-Apr-2024 01:55     28M
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb    01-Apr-2024 01:55     26M
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb    07-Sep-2024 08:10     26M
libcoq-ocaml-dev_8.11.0-1_arm64.deb                06-Mar-2020 09:13     16M
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb              11-Mar-2020 10:53     16M
libcoq-ocaml-dev_8.12.0-3build3_ppc64el.deb        28-Nov-2020 10:13     18M
libcoq-ocaml-dev_8.12.0-3build3_riscv64.deb        28-Nov-2020 14:28     21M
libcoq-ocaml-dev_8.14.1+dfsg-1_ppc64el.deb         11-Dec-2021 17:39     43M
libcoq-ocaml-dev_8.14.1+dfsg-1_riscv64.deb         11-Dec-2021 21:04     43M
libcoq-ocaml-dev_8.14.1+dfsg-1_s390x.deb           11-Dec-2021 17:39     43M
libcoq-ocaml-dev_8.15.0+dfsg-1build1_ppc64el.deb   25-Jan-2022 15:34     44M
libcoq-ocaml-dev_8.15.0+dfsg-1build1_riscv64.deb   25-Jan-2022 20:19     43M
libcoq-ocaml-dev_8.15.0+dfsg-1build1_s390x.deb     25-Jan-2022 15:34     43M
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb            20-Jan-2014 03:43      1M
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb            20-Jan-2014 01:03      4M
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb          20-Jan-2014 00:23      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb          18-Feb-2014 02:43      1M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb      04-Nov-2015 14:29      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb      04-Nov-2015 14:55      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb    04-Nov-2015 13:39      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb    04-Nov-2015 14:55      1M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb      05-Jan-2016 16:35      1M
libcoq-ocaml-dev_8.6-5build1_arm64.deb             28-Oct-2017 16:20     13M
libcoq-ocaml-dev_8.6-5build1_armhf.deb             28-Oct-2017 16:20     14M
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb           28-Oct-2017 15:34     13M
libcoq-ocaml-dev_8.6-5build1_s390x.deb             28-Oct-2017 15:34     13M
libcoq-ocaml_8.11.0-1_arm64.deb                    06-Mar-2020 09:13      7M
libcoq-ocaml_8.11.0-1_ppc64el.deb                  11-Mar-2020 10:53      6M
libcoq-ocaml_8.12.0-3build3_ppc64el.deb            28-Nov-2020 10:13      7M
libcoq-ocaml_8.12.0-3build3_riscv64.deb            28-Nov-2020 14:28      7M
libcoq-ocaml_8.14.1+dfsg-1_ppc64el.deb             11-Dec-2021 17:39     26M
libcoq-ocaml_8.14.1+dfsg-1_riscv64.deb             11-Dec-2021 21:04     25M
libcoq-ocaml_8.14.1+dfsg-1_s390x.deb               11-Dec-2021 17:39     26M
libcoq-ocaml_8.15.0+dfsg-1build1_ppc64el.deb       25-Jan-2022 15:34     26M
libcoq-ocaml_8.15.0+dfsg-1build1_riscv64.deb       25-Jan-2022 20:19     26M
libcoq-ocaml_8.15.0+dfsg-1build1_s390x.deb         25-Jan-2022 15:34     26M
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb                20-Jan-2014 03:43    322K
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb                20-Jan-2014 01:03      1M
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb              20-Jan-2014 00:23      1M
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb              18-Feb-2014 02:43    322K
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb          04-Nov-2015 14:29      1M
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb          04-Nov-2015 14:55      1M
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb        04-Nov-2015 13:39      1M
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb        04-Nov-2015 14:55    328K
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb          05-Jan-2016 16:35    330K
libcoq-ocaml_8.6-5build1_arm64.deb                 28-Oct-2017 16:20      4M
libcoq-ocaml_8.6-5build1_armhf.deb                 28-Oct-2017 16:20      3M
libcoq-ocaml_8.6-5build1_ppc64el.deb               28-Oct-2017 15:34      3M
libcoq-ocaml_8.6-5build1_s390x.deb                 28-Oct-2017 15:34      3M
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 12:54     24M
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb              05-Feb-2022 23:53     24M
libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb        16-Feb-2023 10:58     23M
libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb        16-Feb-2023 10:58     23M
libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb        24-Jul-2023 18:09     27M
libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb        24-Jul-2023 18:09     27M
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        01-Apr-2024 01:55     25M
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb        01-Apr-2024 01:55     25M
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb        07-Sep-2024 08:10     26M