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