![[ICO]](/icons/blank.gif) | Name | Last modified | Size |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - |
![[ ]](/icons/unknown.gif) | coq-theories_8.4pl3dfsg-1_all.deb | 2014-01-19 23:58 | 30M |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-11-04 14:04 | 31M |
| coq-theories_8.6-5build1_arm64.deb | 2017-10-28 16:20 | 22M |
| coq-theories_8.6-5build1_armhf.deb | 2017-10-28 16:20 | 22M |
| coq-theories_8.6-5build1_ppc64el.deb | 2017-10-28 15:34 | 22M |
| coq-theories_8.6-5build1_s390x.deb | 2017-10-28 15:34 | 22M |
| coq-theories_8.11.0-1_arm64.deb | 2020-03-06 09:13 | 20M |
| coq-theories_8.11.0-1_ppc64el.deb | 2020-03-11 10:53 | 20M |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-01-19 23:18 | 15K |
| coq_8.4pl3dfsg-1.dsc | 2014-01-19 23:18 | 2.3K |
| coq_8.4pl3dfsg-1_arm64.deb | 2014-01-20 03:43 | 1.1M |
| coq_8.4pl3dfsg-1_armhf.deb | 2014-01-20 01:03 | 3.7M |
| coq_8.4pl3dfsg-1_powerpc.deb | 2014-01-20 00:23 | 3.4M |
| coq_8.4pl3dfsg-1_ppc64el.deb | 2014-02-18 02:43 | 1.1M |
![[ ]](/icons/compressed.gif) | coq_8.4pl3dfsg.orig.tar.gz | 2014-01-19 23:18 | 3.4M |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-11-04 13:14 | 16K |
| coq_8.4pl4dfsg-3build2.dsc | 2015-11-04 13:14 | 2.3K |
| coq_8.4pl4dfsg-3build2_arm64.deb | 2015-11-04 14:29 | 3.7M |
| coq_8.4pl4dfsg-3build2_armhf.deb | 2015-11-04 14:55 | 3.6M |
| coq_8.4pl4dfsg-3build2_powerpc.deb | 2015-11-04 13:39 | 3.3M |
| coq_8.4pl4dfsg-3build2_ppc64el.deb | 2015-11-04 14:55 | 1.0M |
| coq_8.4pl4dfsg-3build2_s390x.deb | 2016-01-05 16:35 | 1.0M |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-07-27 23:13 | 3.4M |
| coq_8.6-5build1.debian.tar.xz | 2017-10-28 14:39 | 21K |
| coq_8.6-5build1.dsc | 2017-10-28 14:39 | 2.3K |
| coq_8.6-5build1_arm64.deb | 2017-10-28 16:20 | 18M |
| coq_8.6-5build1_armhf.deb | 2017-10-28 16:20 | 16M |
| coq_8.6-5build1_ppc64el.deb | 2017-10-28 15:34 | 17M |
| coq_8.6-5build1_s390x.deb | 2017-10-28 15:35 | 17M |
| coq_8.6.orig.tar.gz | 2016-12-28 17:13 | 4.8M |
| coq_8.11.0-1.debian.tar.xz | 2020-03-06 07:53 | 31K |
| coq_8.11.0-1.dsc | 2020-03-06 07:53 | 2.4K |
| coq_8.11.0-1_arm64.deb | 2020-03-06 09:13 | 80M |
| coq_8.11.0-1_ppc64el.deb | 2020-03-11 10:53 | 75M |
| coq_8.11.0.orig.tar.gz | 2020-03-06 07:53 | 5.6M |
| coq_8.15.0+dfsg-2.debian.tar.xz | 2022-02-05 17:49 | 39K |
| coq_8.15.0+dfsg-2.dsc | 2022-02-05 17:49 | 2.5K |
| coq_8.15.0+dfsg-2_arm64.deb | 2022-02-06 12:54 | 102M |
| coq_8.15.0+dfsg-2_armhf.deb | 2022-02-05 23:53 | 89M |
| coq_8.15.0+dfsg-2_ppc64el.deb | 2022-02-05 23:53 | 94M |
| coq_8.15.0+dfsg-2_riscv64.deb | 2022-02-05 23:53 | 91M |
| coq_8.15.0+dfsg-2_s390x.deb | 2022-02-05 23:53 | 93M |
| coq_8.15.0+dfsg.orig.tar.xz | 2022-01-17 23:14 | 4.5M |
| coq_8.18.0+dfsg-1build2.debian.tar.xz | 2024-03-31 18:36 | 33K |
| coq_8.18.0+dfsg-1build2.dsc | 2024-03-31 18:36 | 2.6K |
| coq_8.18.0+dfsg-1build2_arm64.deb | 2024-04-01 01:55 | 102M |
| coq_8.18.0+dfsg-1build2_armhf.deb | 2024-04-01 01:55 | 89M |
| coq_8.18.0+dfsg-1build2_ppc64el.deb | 2024-03-31 21:34 | 94M |
| coq_8.18.0+dfsg-1build2_riscv64.deb | 2024-04-01 01:56 | 93M |
| coq_8.18.0+dfsg-1build2_s390x.deb | 2024-03-31 20:38 | 93M |
| coq_8.18.0+dfsg.orig.tar.xz | 2023-12-22 19:46 | 4.6M |
| coq_8.19.1+dfsg-3build3.debian.tar.xz | 2024-09-07 07:08 | 32K |
| coq_8.19.1+dfsg-3build3.dsc | 2024-09-07 07:08 | 2.5K |
| coq_8.19.1+dfsg-3build3_arm64.deb | 2024-09-07 08:10 | 103M |
| coq_8.19.1+dfsg-3build3_ppc64el.deb | 2024-09-07 08:10 | 98M |
| coq_8.19.1+dfsg-3build3_riscv64.deb | 2024-09-07 09:48 | 98M |
| coq_8.19.1+dfsg-3build3_s390x.deb | 2024-09-07 08:10 | 98M |
| coq_8.19.1+dfsg.orig.tar.bz2 | 2024-05-02 11:53 | 5.3M |
| coq_8.20.1+dfsg-1.debian.tar.xz | 2025-02-18 01:39 | 30K |
| coq_8.20.1+dfsg-1.dsc | 2025-02-18 01:39 | 2.5K |
| coq_8.20.1+dfsg-1_arm64.deb | 2025-02-18 01:40 | 83M |
| coq_8.20.1+dfsg-1_ppc64el.deb | 2025-02-18 01:41 | 79M |
| coq_8.20.1+dfsg-1_riscv64.deb | 2025-02-18 03:45 | 79M |
| coq_8.20.1+dfsg-1_s390x.deb | 2025-02-18 06:00 | 79M |
| coq_8.20.1+dfsg.orig.tar.xz | 2025-02-18 01:39 | 4.8M |
| coqide_8.4pl3dfsg-1_arm64.deb | 2014-01-20 03:43 | 198K |
| coqide_8.4pl3dfsg-1_armhf.deb | 2014-01-20 01:03 | 758K |
| coqide_8.4pl3dfsg-1_powerpc.deb | 2014-01-20 00:23 | 627K |
| coqide_8.4pl3dfsg-1_ppc64el.deb | 2014-02-18 02:43 | 198K |
| coqide_8.4pl4dfsg-3build2_arm64.deb | 2015-11-04 14:29 | 754K |
| coqide_8.4pl4dfsg-3build2_armhf.deb | 2015-11-04 14:55 | 763K |
| coqide_8.4pl4dfsg-3build2_powerpc.deb | 2015-11-04 13:39 | 649K |
| coqide_8.4pl4dfsg-3build2_ppc64el.deb | 2015-11-04 14:55 | 208K |
| coqide_8.4pl4dfsg-3build2_s390x.deb | 2016-01-05 16:35 | 208K |
| coqide_8.6-5build1_arm64.deb | 2017-10-28 16:20 | 1.6M |
| coqide_8.6-5build1_armhf.deb | 2017-10-28 16:20 | 1.4M |
| coqide_8.6-5build1_ppc64el.deb | 2017-10-28 15:34 | 1.7M |
| coqide_8.6-5build1_s390x.deb | 2017-10-28 15:34 | 1.7M |
| coqide_8.11.0-1_arm64.deb | 2020-03-06 09:13 | 2.0M |
| coqide_8.11.0-1_ppc64el.deb | 2020-03-11 10:53 | 1.8M |
| coqide_8.15.0+dfsg-2_arm64.deb | 2022-02-06 12:54 | 2.7M |
| coqide_8.15.0+dfsg-2_armhf.deb | 2022-02-05 23:53 | 2.1M |
| coqide_8.15.0+dfsg-2_ppc64el.deb | 2022-02-05 23:53 | 2.4M |
| coqide_8.15.0+dfsg-2_riscv64.deb | 2022-02-05 23:53 | 2.2M |
| coqide_8.15.0+dfsg-2_s390x.deb | 2022-02-05 23:53 | 2.3M |
| coqide_8.18.0+dfsg-1build2_arm64.deb | 2024-04-01 01:55 | 2.7M |
| coqide_8.18.0+dfsg-1build2_armhf.deb | 2024-04-01 01:55 | 2.1M |
| coqide_8.18.0+dfsg-1build2_ppc64el.deb | 2024-03-31 21:34 | 2.4M |
| coqide_8.18.0+dfsg-1build2_riscv64.deb | 2024-04-01 01:56 | 2.3M |
| coqide_8.18.0+dfsg-1build2_s390x.deb | 2024-03-31 20:38 | 2.3M |
| coqide_8.19.1+dfsg-3build3_arm64.deb | 2024-09-07 08:10 | 2.8M |
| coqide_8.19.1+dfsg-3build3_ppc64el.deb | 2024-09-07 08:10 | 2.5M |
| coqide_8.19.1+dfsg-3build3_riscv64.deb | 2024-09-07 09:48 | 2.5M |
| coqide_8.19.1+dfsg-3build3_s390x.deb | 2024-09-07 08:10 | 2.4M |
| coqide_8.20.1+dfsg-1_arm64.deb | 2025-02-18 01:40 | 2.5M |
| coqide_8.20.1+dfsg-1_ppc64el.deb | 2025-02-18 01:41 | 2.2M |
| coqide_8.20.1+dfsg-1_riscv64.deb | 2025-02-18 03:45 | 2.2M |
| coqide_8.20.1+dfsg-1_s390x.deb | 2025-02-18 06:00 | 2.2M |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb | 2022-02-06 12:53 | 43M |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb | 2022-02-05 23:53 | 44M |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb | 2022-02-05 23:53 | 44M |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb | 2022-02-05 23:53 | 43M |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb | 2022-02-05 23:53 | 43M |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb | 2024-04-01 01:55 | 49M |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb | 2024-04-01 01:55 | 50M |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb | 2024-03-31 21:34 | 50M |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb | 2024-04-01 01:56 | 56M |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb | 2024-03-31 20:38 | 49M |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64.deb | 2024-09-07 08:10 | 65M |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64el.deb | 2024-09-07 08:10 | 66M |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv64.deb | 2024-09-07 09:48 | 72M |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x.deb | 2024-09-07 08:10 | 65M |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb | 2025-02-18 01:40 | 66M |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deb | 2025-02-18 01:41 | 68M |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb | 2025-02-18 03:45 | 73M |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deb | 2025-02-18 06:00 | 66M |
| libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb | 2022-02-06 12:53 | 27M |
| libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb | 2022-02-05 23:53 | 26M |
| libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb | 2022-02-05 23:53 | 26M |
| libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb | 2022-02-05 23:53 | 26M |
| libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb | 2022-02-05 23:53 | 26M |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb | 2024-04-01 01:55 | 28M |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb | 2024-04-01 01:55 | 26M |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb | 2024-03-31 21:34 | 27M |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb | 2024-04-01 01:56 | 27M |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb | 2024-03-31 20:38 | 27M |
| libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb | 2024-09-07 08:10 | 26M |
| libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb | 2024-09-07 08:10 | 25M |
| libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb | 2024-09-07 09:48 | 25M |
| libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb | 2024-09-07 08:10 | 25M |
| libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb | 2025-02-18 01:40 | 27M |
| libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb | 2025-02-18 01:41 | 26M |
| libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb | 2025-02-18 03:45 | 26M |
| libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb | 2025-02-18 06:00 | 26M |
| libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb | 2014-01-20 03:43 | 1.2M |
| libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb | 2014-01-20 01:03 | 3.8M |
| libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb | 2014-01-20 00:23 | 3.4M |
| libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb | 2014-02-18 02:43 | 1.2M |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb | 2015-11-04 14:29 | 3.7M |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb | 2015-11-04 14:55 | 4.0M |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb | 2015-11-04 13:39 | 3.5M |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb | 2015-11-04 14:55 | 1.2M |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb | 2016-01-05 16:35 | 1.2M |
| libcoq-ocaml-dev_8.6-5build1_arm64.deb | 2017-10-28 16:20 | 13M |
| libcoq-ocaml-dev_8.6-5build1_armhf.deb | 2017-10-28 16:20 | 14M |
| libcoq-ocaml-dev_8.6-5build1_ppc64el.deb | 2017-10-28 15:34 | 13M |
| libcoq-ocaml-dev_8.6-5build1_s390x.deb | 2017-10-28 15:34 | 13M |
| libcoq-ocaml-dev_8.11.0-1_arm64.deb | 2020-03-06 09:13 | 16M |
| libcoq-ocaml-dev_8.11.0-1_ppc64el.deb | 2020-03-11 10:53 | 16M |
| libcoq-ocaml_8.4pl3dfsg-1_arm64.deb | 2014-01-20 03:43 | 322K |
| libcoq-ocaml_8.4pl3dfsg-1_armhf.deb | 2014-01-20 01:03 | 1.5M |
| libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb | 2014-01-20 00:23 | 1.3M |
| libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb | 2014-02-18 02:43 | 322K |
| libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb | 2015-11-04 14:29 | 1.3M |
| libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb | 2015-11-04 14:55 | 1.4M |
| libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb | 2015-11-04 13:39 | 1.3M |
| libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb | 2015-11-04 14:55 | 328K |
| libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb | 2016-01-05 16:35 | 330K |
| libcoq-ocaml_8.6-5build1_arm64.deb | 2017-10-28 16:20 | 3.6M |
| libcoq-ocaml_8.6-5build1_armhf.deb | 2017-10-28 16:20 | 3.3M |
| libcoq-ocaml_8.6-5build1_ppc64el.deb | 2017-10-28 15:34 | 3.5M |
| libcoq-ocaml_8.6-5build1_s390x.deb | 2017-10-28 15:34 | 3.5M |
| libcoq-ocaml_8.11.0-1_arm64.deb | 2020-03-06 09:13 | 6.5M |
| libcoq-ocaml_8.11.0-1_ppc64el.deb | 2020-03-11 10:53 | 6.2M |
| libcoq-stdlib_8.15.0+dfsg-2_arm64.deb | 2022-02-06 12:54 | 24M |
| libcoq-stdlib_8.15.0+dfsg-2_armhf.deb | 2022-02-05 23:53 | 24M |
| libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb | 2022-02-05 23:53 | 24M |
| libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb | 2022-02-05 23:53 | 24M |
| libcoq-stdlib_8.15.0+dfsg-2_s390x.deb | 2022-02-05 23:53 | 24M |
| libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb | 2024-04-01 01:55 | 25M |
| libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb | 2024-04-01 01:55 | 25M |
| libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb | 2024-03-31 21:34 | 25M |
| libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb | 2024-04-01 01:56 | 25M |
| libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb | 2024-03-31 20:38 | 25M |
| libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb | 2024-09-07 08:10 | 26M |
| libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb | 2024-09-07 08:10 | 26M |
| libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb | 2024-09-07 09:48 | 26M |
| libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb | 2024-09-07 08:10 | 26M |
| libcoq-stdlib_8.20.1+dfsg-1_arm64.deb | 2025-02-18 01:40 | 26M |
| libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb | 2025-02-18 01:41 | 26M |
| libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb | 2025-02-18 03:45 | 26M |
| libcoq-stdlib_8.20.1+dfsg-1_s390x.deb | 2025-02-18 06:00 | 26M |
|
|---|