| Parent directory/ | - | - |
| coq-theories_8.12.0-3+b3_amd64.deb | 35M | 25-Nov-2020 11:28 |
| coq-theories_8.12.0-3+b3_arm64.deb | 23M | 25-Nov-2020 11:58 |
| coq-theories_8.12.0-3+b3_armel.deb | 23M | 25-Nov-2020 21:44 |
| coq-theories_8.12.0-3+b3_armhf.deb | 23M | 25-Nov-2020 11:43 |
| coq-theories_8.12.0-3+b3_i386.deb | 34M | 25-Nov-2020 11:18 |
| coq-theories_8.12.0-3+b3_mips64el.deb | 23M | 25-Nov-2020 20:41 |
| coq-theories_8.12.0-3+b3_mipsel.deb | 23M | 26-Nov-2020 04:43 |
| coq-theories_8.12.0-3+b3_ppc64el.deb | 23M | 25-Nov-2020 11:28 |
| coq-theories_8.9.0-1_amd64.deb | 28M | 06-Feb-2019 22:49 |
| coq-theories_8.9.0-1_arm64.deb | 19M | 07-Feb-2019 00:26 |
| coq-theories_8.9.0-1_armhf.deb | 19M | 08-Feb-2019 01:15 |
| coq-theories_8.9.0-1_i386.deb | 27M | 07-Feb-2019 00:21 |
| coq_8.12.0-3+b3_amd64.deb | 86M | 25-Nov-2020 11:28 |
| coq_8.12.0-3+b3_arm64.deb | 92M | 25-Nov-2020 11:58 |
| coq_8.12.0-3+b3_armel.deb | 101M | 25-Nov-2020 21:44 |
| coq_8.12.0-3+b3_armhf.deb | 84M | 25-Nov-2020 11:43 |
| coq_8.12.0-3+b3_i386.deb | 84M | 25-Nov-2020 11:18 |
| coq_8.12.0-3+b3_mips64el.deb | 101M | 25-Nov-2020 20:41 |
| coq_8.12.0-3+b3_mipsel.deb | 101M | 26-Nov-2020 04:43 |
| coq_8.12.0-3+b3_ppc64el.deb | 87M | 25-Nov-2020 11:28 |
| coq_8.12.0-3.debian.tar.xz | 37K | 10-Sep-2020 10:38 |
| coq_8.12.0-3.dsc | 2483 | 10-Sep-2020 10:38 |
| coq_8.12.0.orig.tar.gz | 6M | 22-Aug-2020 13:26 |
| coq_8.16.1+dfsg-1+b2_amd64.deb | 89M | 13-Feb-2023 05:14 |
| coq_8.16.1+dfsg-1+b2_arm64.deb | 97M | 13-Feb-2023 05:55 |
| coq_8.16.1+dfsg-1+b2_armhf.deb | 86M | 13-Feb-2023 05:55 |
| coq_8.16.1+dfsg-1+b2_i386.deb | 83M | 13-Feb-2023 05:29 |
| coq_8.16.1+dfsg-1+b2_ppc64el.deb | 90M | 13-Feb-2023 07:13 |
| coq_8.16.1+dfsg-1+b2_s390x.deb | 89M | 13-Feb-2023 05:45 |
| coq_8.16.1+dfsg-1.debian.tar.xz | 32K | 29-Nov-2022 12:35 |
| coq_8.16.1+dfsg-1.dsc | 2629 | 29-Nov-2022 12:35 |
| coq_8.16.1+dfsg.orig.tar.xz | 4M | 29-Nov-2022 12:35 |
| coq_8.19.1+dfsg-3+b2_amd64.deb | 83M | 20-Aug-2024 22:10 |
| coq_8.19.1+dfsg-3+b2_arm64.deb | 88M | 20-Aug-2024 22:16 |
| coq_8.19.1+dfsg-3+b2_riscv64.deb | 84M | 20-Aug-2024 23:44 |
| coq_8.19.1+dfsg-3+b2_s390x.deb | 83M | 20-Aug-2024 22:47 |
| coq_8.19.1+dfsg-3+b3_ppc64el.deb | 83M | 30-Aug-2024 10:07 |
| coq_8.19.1+dfsg-3.debian.tar.xz | 32K | 03-Aug-2024 11:53 |
| coq_8.19.1+dfsg-3.dsc | 2341 | 03-Aug-2024 11:53 |
| coq_8.19.1+dfsg.orig.tar.bz2 | 5M | 26-Apr-2024 17:46 |
| coq_8.20.0+dfsg-1.debian.tar.xz | 29K | 20-Nov-2024 13:52 |
| coq_8.20.0+dfsg-1.dsc | 2570 | 20-Nov-2024 13:52 |
| coq_8.20.0+dfsg-1_amd64.deb | 73M | 20-Nov-2024 14:33 |
| coq_8.20.0+dfsg-1_arm64.deb | 77M | 20-Nov-2024 14:58 |
| coq_8.20.0+dfsg-1_ppc64el.deb | 74M | 20-Nov-2024 15:00 |
| coq_8.20.0+dfsg-1_riscv64.deb | 74M | 20-Nov-2024 17:10 |
| coq_8.20.0+dfsg-1_s390x.deb | 74M | 20-Nov-2024 19:02 |
| coq_8.20.0+dfsg.orig.tar.xz | 5M | 20-Nov-2024 13:52 |
| coq_8.9.0-1.debian.tar.xz | 27K | 06-Feb-2019 22:49 |
| coq_8.9.0-1.dsc | 2417 | 06-Feb-2019 22:49 |
| coq_8.9.0-1_amd64.deb | 56M | 06-Feb-2019 22:49 |
| coq_8.9.0-1_arm64.deb | 60M | 07-Feb-2019 00:26 |
| coq_8.9.0-1_armhf.deb | 55M | 08-Feb-2019 01:15 |
| coq_8.9.0-1_i386.deb | 54M | 07-Feb-2019 00:21 |
| coq_8.9.0.orig.tar.gz | 5M | 06-Feb-2019 22:49 |
| coqide_8.12.0-3+b3_amd64.deb | 2M | 25-Nov-2020 11:28 |
| coqide_8.12.0-3+b3_arm64.deb | 2M | 25-Nov-2020 11:58 |
| coqide_8.12.0-3+b3_armel.deb | 46K | 25-Nov-2020 21:44 |
| coqide_8.12.0-3+b3_armhf.deb | 2M | 25-Nov-2020 11:43 |
| coqide_8.12.0-3+b3_i386.deb | 2M | 25-Nov-2020 11:18 |
| coqide_8.12.0-3+b3_mips64el.deb | 46K | 25-Nov-2020 20:41 |
| coqide_8.12.0-3+b3_mipsel.deb | 46K | 26-Nov-2020 04:43 |
| coqide_8.12.0-3+b3_ppc64el.deb | 2M | 25-Nov-2020 11:28 |
| coqide_8.16.1+dfsg-1+b2_amd64.deb | 2M | 13-Feb-2023 05:14 |
| coqide_8.16.1+dfsg-1+b2_arm64.deb | 2M | 13-Feb-2023 05:55 |
| coqide_8.16.1+dfsg-1+b2_armhf.deb | 2M | 13-Feb-2023 05:55 |
| coqide_8.16.1+dfsg-1+b2_i386.deb | 2M | 13-Feb-2023 05:29 |
| coqide_8.16.1+dfsg-1+b2_ppc64el.deb | 2M | 13-Feb-2023 07:13 |
| coqide_8.16.1+dfsg-1+b2_s390x.deb | 2M | 13-Feb-2023 05:45 |
| coqide_8.19.1+dfsg-3+b2_amd64.deb | 2M | 20-Aug-2024 22:10 |
| coqide_8.19.1+dfsg-3+b2_arm64.deb | 2M | 20-Aug-2024 22:16 |
| coqide_8.19.1+dfsg-3+b2_riscv64.deb | 2M | 20-Aug-2024 23:44 |
| coqide_8.19.1+dfsg-3+b2_s390x.deb | 2M | 20-Aug-2024 22:47 |
| coqide_8.19.1+dfsg-3+b3_ppc64el.deb | 2M | 30-Aug-2024 10:07 |
| coqide_8.20.0+dfsg-1_amd64.deb | 2M | 20-Nov-2024 14:33 |
| coqide_8.20.0+dfsg-1_arm64.deb | 2M | 20-Nov-2024 14:58 |
| coqide_8.20.0+dfsg-1_ppc64el.deb | 2M | 20-Nov-2024 15:00 |
| coqide_8.20.0+dfsg-1_riscv64.deb | 2M | 20-Nov-2024 17:10 |
| coqide_8.20.0+dfsg-1_s390x.deb | 2M | 20-Nov-2024 19:02 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 41M | 13-Feb-2023 05:14 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb | 41M | 13-Feb-2023 05:55 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 41M | 13-Feb-2023 05:55 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb | 40M | 13-Feb-2023 05:29 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb | 42M | 13-Feb-2023 07:13 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb | 40M | 13-Feb-2023 05:45 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb | 64M | 20-Aug-2024 22:10 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb | 64M | 20-Aug-2024 22:16 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb | 69M | 20-Aug-2024 23:44 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_s390x.deb | 64M | 20-Aug-2024 22:47 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3+b3_ppc64el.deb | 65M | 30-Aug-2024 10:07 |
| libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb | 66M | 20-Nov-2024 14:33 |
| libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb | 66M | 20-Nov-2024 14:58 |
| libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb | 67M | 20-Nov-2024 15:00 |
| libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb | 71M | 20-Nov-2024 17:10 |
| libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb | 66M | 20-Nov-2024 19:02 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 22M | 13-Feb-2023 05:14 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb | 22M | 13-Feb-2023 05:55 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 21M | 13-Feb-2023 05:55 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb | 21M | 13-Feb-2023 05:29 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb | 22M | 13-Feb-2023 07:13 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb | 22M | 13-Feb-2023 05:45 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb | 24M | 20-Aug-2024 22:10 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb | 24M | 20-Aug-2024 22:16 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb | 24M | 20-Aug-2024 23:44 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b2_s390x.deb | 24M | 20-Aug-2024 22:47 |
| libcoq-core-ocaml_8.19.1+dfsg-3+b3_ppc64el.deb | 24M | 30-Aug-2024 10:07 |
| libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb | 25M | 20-Nov-2024 14:33 |
| libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb | 25M | 20-Nov-2024 14:58 |
| libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb | 25M | 20-Nov-2024 15:00 |
| libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb | 25M | 20-Nov-2024 17:10 |
| libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb | 25M | 20-Nov-2024 19:02 |
| libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 18M | 25-Nov-2020 11:28 |
| libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb | 18M | 25-Nov-2020 11:58 |
| libcoq-ocaml-dev_8.12.0-3+b3_armel.deb | 11M | 25-Nov-2020 21:44 |
| libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb | 18M | 25-Nov-2020 11:43 |
| libcoq-ocaml-dev_8.12.0-3+b3_i386.deb | 18M | 25-Nov-2020 11:18 |
| libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb | 11M | 25-Nov-2020 20:41 |
| libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb | 11M | 26-Nov-2020 04:43 |
| libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb | 19M | 25-Nov-2020 11:28 |
| libcoq-ocaml-dev_8.9.0-1_amd64.deb | 13M | 06-Feb-2019 22:49 |
| libcoq-ocaml-dev_8.9.0-1_arm64.deb | 13M | 07-Feb-2019 00:26 |
| libcoq-ocaml-dev_8.9.0-1_armhf.deb | 14M | 08-Feb-2019 01:15 |
| libcoq-ocaml-dev_8.9.0-1_i386.deb | 13M | 07-Feb-2019 00:21 |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb | 7M | 25-Nov-2020 11:28 |
| libcoq-ocaml_8.12.0-3+b3_arm64.deb | 8M | 25-Nov-2020 11:58 |
| libcoq-ocaml_8.12.0-3+b3_armel.deb | 5M | 25-Nov-2020 21:44 |
| libcoq-ocaml_8.12.0-3+b3_armhf.deb | 7M | 25-Nov-2020 11:43 |
| libcoq-ocaml_8.12.0-3+b3_i386.deb | 7M | 25-Nov-2020 11:18 |
| libcoq-ocaml_8.12.0-3+b3_mips64el.deb | 5M | 25-Nov-2020 20:41 |
| libcoq-ocaml_8.12.0-3+b3_mipsel.deb | 5M | 26-Nov-2020 04:43 |
| libcoq-ocaml_8.12.0-3+b3_ppc64el.deb | 7M | 25-Nov-2020 11:28 |
| libcoq-ocaml_8.9.0-1_amd64.deb | 5M | 06-Feb-2019 22:49 |
| libcoq-ocaml_8.9.0-1_arm64.deb | 6M | 07-Feb-2019 00:26 |
| libcoq-ocaml_8.9.0-1_armhf.deb | 5M | 08-Feb-2019 01:15 |
| libcoq-ocaml_8.9.0-1_i386.deb | 5M | 07-Feb-2019 00:21 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 21M | 13-Feb-2023 05:14 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb | 21M | 13-Feb-2023 05:55 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 21M | 13-Feb-2023 05:55 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb | 21M | 13-Feb-2023 05:29 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb | 21M | 13-Feb-2023 07:13 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb | 21M | 13-Feb-2023 05:45 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb | 23M | 20-Aug-2024 22:10 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb | 23M | 20-Aug-2024 22:16 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb | 23M | 20-Aug-2024 23:44 |
| libcoq-stdlib_8.19.1+dfsg-3+b2_s390x.deb | 23M | 20-Aug-2024 22:47 |
| libcoq-stdlib_8.19.1+dfsg-3+b3_ppc64el.deb | 23M | 30-Aug-2024 10:07 |
| libcoq-stdlib_8.20.0+dfsg-1_amd64.deb | 22M | 20-Nov-2024 14:33 |
| libcoq-stdlib_8.20.0+dfsg-1_arm64.deb | 22M | 20-Nov-2024 14:58 |
| libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb | 22M | 20-Nov-2024 15:00 |
| libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb | 22M | 20-Nov-2024 17:10 |
| libcoq-stdlib_8.20.0+dfsg-1_s390x.deb | 22M | 20-Nov-2024 19:02 |
