../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836 coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23925860 coq-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 23918664 coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192 coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 96071892 coq_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 88355300 coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220 coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772 coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211 coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572 coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 102168100 coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 89867592 coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396 coq_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 93886792 coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 93314900 coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236 coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668 coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 70222224 coq_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 74446016 coq_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 70854312 coq_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 71194768 coq_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 71035152 coq_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 71118656 coq_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 74891252 coq_8.20.1+dfsg-1+b2_ppc64el.deb 27-Dec-2025 18:40 71684740 coq_8.20.1+dfsg-1+b2_riscv64.deb 28-Dec-2025 02:09 72370380 coq_8.20.1+dfsg-1+b2_s390x.deb 27-Dec-2025 20:22 72146460 coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30208 coq_8.20.1+dfsg-1.dsc 17-Feb-2025 16:37 2582 coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5014988 coq_9.1.0+dfsg-3+b1_amd64.deb 27-Dec-2025 18:30 40185432 coq_9.1.0+dfsg-3+b1_arm64.deb 27-Dec-2025 17:44 43708448 coq_9.1.0+dfsg-3+b1_armhf.deb 27-Dec-2025 17:23 23564296 coq_9.1.0+dfsg-3+b1_i386.deb 27-Dec-2025 18:35 23799976 coq_9.1.0+dfsg-3+b1_ppc64el.deb 27-Dec-2025 18:40 40848580 coq_9.1.0+dfsg-3+b1_s390x.deb 27-Dec-2025 21:19 41269612 coq_9.1.0+dfsg-3.debian.tar.xz 11-Nov-2025 17:29 24136 coq_9.1.0+dfsg-3.dsc 11-Nov-2025 17:29 2540 coq_9.1.0+dfsg-3_riscv64.deb 12-Nov-2025 00:40 40451936 coq_9.1.0+dfsg.orig.tar.xz 17-Sep-2025 16:17 3834256 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212 coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2170596 coqide_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 1736840 coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020 coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412 coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2310756 coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 1834728 coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236 coqide_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 2076580 coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 1979904 coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 1930360 coqide_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 2246476 coqide_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 1970152 coqide_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 1994992 coqide_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 1974864 coqide_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 1952024 coqide_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 2241120 coqide_8.20.1+dfsg-1+b2_ppc64el.deb 27-Dec-2025 18:40 1988308 coqide_8.20.1+dfsg-1+b2_riscv64.deb 28-Dec-2025 02:09 2048076 coqide_8.20.1+dfsg-1+b2_s390x.deb 27-Dec-2025 20:22 2026692 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 42825080 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 43114464 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 43561824 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 42245924 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 68700208 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 68569160 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 69333132 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 73545616 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 68187812 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 52013688 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 51847252 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb 27-Dec-2025 18:40 52658360 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb 28-Dec-2025 02:09 56936816 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb 27-Dec-2025 20:22 51830380 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_amd64.deb 27-Dec-2025 18:30 53717884 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_arm64.deb 27-Dec-2025 17:44 53579976 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb 27-Dec-2025 17:23 44874040 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb 27-Dec-2025 18:35 44874820 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb 27-Dec-2025 18:40 54440224 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb 27-Dec-2025 21:19 53533088 libcoq-core-ocaml-dev_9.1.0+dfsg-3_riscv64.deb 12-Nov-2025 00:40 75977064 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 23093000 libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 22259280 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176 libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 22620372 libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 22619920 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25955760 libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 26387968 libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 25980948 libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 26021184 libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 26001128 libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 24207612 libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 24628984 libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb 27-Dec-2025 18:40 24247972 libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb 28-Dec-2025 02:09 24357208 libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb 27-Dec-2025 20:22 24321160 libcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deb 27-Dec-2025 18:30 24975656 libcoq-core-ocaml_9.1.0+dfsg-3+b1_arm64.deb 27-Dec-2025 17:44 25401904 libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb 27-Dec-2025 17:23 17479480 libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb 27-Dec-2025 18:35 17485428 libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb 27-Dec-2025 18:40 25005928 libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb 27-Dec-2025 21:19 25077968 libcoq-core-ocaml_9.1.0+dfsg-3_riscv64.deb 12-Nov-2025 00:40 26928600 libcoq-core_9.1.0+dfsg-3+b1_amd64.deb 27-Dec-2025 18:30 1138212 libcoq-core_9.1.0+dfsg-3+b1_arm64.deb 27-Dec-2025 17:44 1138512 libcoq-core_9.1.0+dfsg-3+b1_armhf.deb 27-Dec-2025 17:23 1139392 libcoq-core_9.1.0+dfsg-3+b1_i386.deb 27-Dec-2025 18:35 1138304 libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb 27-Dec-2025 18:40 1141044 libcoq-core_9.1.0+dfsg-3+b1_s390x.deb 27-Dec-2025 21:19 1137612 libcoq-core_9.1.0+dfsg-3_riscv64.deb 12-Nov-2025 00:40 1138136 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18726796 libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 19195248 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156 libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 7980456 libcoq-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 7743064 libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21528036 libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21527688 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432 libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 21528192 libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 21529156 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 23527164 libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 23531376 libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 23529048 libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 23528068 libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 23528344 libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 23530520 libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 23527528 libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb 27-Dec-2025 18:40 23529848 libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb 28-Dec-2025 02:09 23530456 libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb 27-Dec-2025 20:22 23529764 rocqide_9.1.0+dfsg-3+b1_amd64.deb 27-Dec-2025 18:30 1949700 rocqide_9.1.0+dfsg-3+b1_arm64.deb 27-Dec-2025 17:44 2253408 rocqide_9.1.0+dfsg-3+b1_armhf.deb 27-Dec-2025 17:23 569136 rocqide_9.1.0+dfsg-3+b1_i386.deb 27-Dec-2025 18:35 641140 rocqide_9.1.0+dfsg-3+b1_ppc64el.deb 27-Dec-2025 18:40 1994156 rocqide_9.1.0+dfsg-3+b1_s390x.deb 27-Dec-2025 21:19 2032292 rocqide_9.1.0+dfsg-3_riscv64.deb 12-Nov-2025 00:40 1998188
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.