../ 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+b3_ppc64el.deb 19-Jun-2026 07:10 71690984 coq_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 72358544 coq_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 72116820 coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940 coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 74871048 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.2.0+dfsg-1.debian.tar.xz 10-Jul-2026 08:36 23724 coq_9.2.0+dfsg-1.dsc 10-Jul-2026 08:36 2499 coq_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 41143764 coq_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 44469296 coq_9.2.0+dfsg-1_armhf.deb 10-Jul-2026 09:06 24133620 coq_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 24360688 coq_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 24271384 coq_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 41914988 coq_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 42398856 coq_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 42214060 coq_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 41138392 coq_9.2.0+dfsg-2.debian.tar.xz 21-Jul-2026 08:17 23752 coq_9.2.0+dfsg-2.dsc 21-Jul-2026 08:17 2499 coq_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 44454796 coq_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 24134552 coq_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 24361956 coq_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 24214916 coq_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 41930972 coq_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 42215884 coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 3946088 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+b3_ppc64el.deb 19-Jun-2026 07:10 1980520 coqide_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 2041880 coqide_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 2009756 coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232 coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2252096 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+b3_ppc64el.deb 19-Jun-2026 07:10 52658092 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 56951172 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 51832812 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 52003544 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 52339052 libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 55434592 libcoq-core-ocaml-dev_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 55853092 libcoq-core-ocaml-dev_9.2.0+dfsg-1_armhf.deb 10-Jul-2026 09:06 46310800 libcoq-core-ocaml-dev_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 46311064 libcoq-core-ocaml-dev_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 46303224 libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 56149820 libcoq-core-ocaml-dev_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 60605084 libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 55250636 libcoq-core-ocaml-dev_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 55435096 libcoq-core-ocaml-dev_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 55851712 libcoq-core-ocaml-dev_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 46309872 libcoq-core-ocaml-dev_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 46310440 libcoq-core-ocaml-dev_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 46306548 libcoq-core-ocaml-dev_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 56160936 libcoq-core-ocaml-dev_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 55255568 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+b3_ppc64el.deb 19-Jun-2026 07:10 24244436 libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 24357736 libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 24320344 libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 24203864 libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 24620816 libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 25713812 libcoq-core-ocaml_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 26194844 libcoq-core-ocaml_9.2.0+dfsg-1_armhf.deb 10-Jul-2026 09:06 18000036 libcoq-core-ocaml_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 18004196 libcoq-core-ocaml_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 17994488 libcoq-core-ocaml_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 25773128 libcoq-core-ocaml_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 25873476 libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 25841148 libcoq-core-ocaml_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 25712008 libcoq-core-ocaml_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 26203272 libcoq-core-ocaml_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 18000396 libcoq-core-ocaml_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 18004984 libcoq-core-ocaml_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 17994556 libcoq-core-ocaml_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 25773024 libcoq-core-ocaml_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 25844424 libcoq-core_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1153152 libcoq-core_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 1152460 libcoq-core_9.2.0+dfsg-1_armhf.deb 10-Jul-2026 09:06 1152776 libcoq-core_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 1153960 libcoq-core_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 1153000 libcoq-core_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 1154788 libcoq-core_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 1152216 libcoq-core_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 1151320 libcoq-core_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1151536 libcoq-core_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 1152032 libcoq-core_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 1153408 libcoq-core_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 1153456 libcoq-core_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 1151776 libcoq-core_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 1155048 libcoq-core_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 1151580 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+b3_ppc64el.deb 19-Jun-2026 07:10 23527960 libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 23527868 libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 23523944 libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832 libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23525580 rocqide_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1941608 rocqide_9.2.0+dfsg-1_arm64.deb 10-Jul-2026 09:06 2256132 rocqide_9.2.0+dfsg-1_armhf.deb 10-Jul-2026 09:06 565804 rocqide_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 638088 rocqide_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 610072 rocqide_9.2.0+dfsg-1_ppc64el.deb 10-Jul-2026 09:06 1993332 rocqide_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 2046304 rocqide_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 2024024 rocqide_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1953960 rocqide_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 08:48 2253704 rocqide_9.2.0+dfsg-2_armhf.deb 21-Jul-2026 08:48 566044 rocqide_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 638196 rocqide_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 608748 rocqide_9.2.0+dfsg-2_ppc64el.deb 21-Jul-2026 08:48 1989016 rocqide_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 2026964
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.