This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 35M coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23M coq-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 23M coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 34M coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 86M coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 92M coq_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 84M coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 84M coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37K coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6M coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 89M coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 97M coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 86M coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 83M coq_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 90M coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 89M coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 32K 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 4M coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 67M coq_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 71M coq_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 68M coq_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 68M coq_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 68M coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30K 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 5M coq_9.1.0+dfsg-1.debian.tar.xz 17-Sep-2025 16:17 24K coq_9.1.0+dfsg-1.dsc 17-Sep-2025 16:17 2564 coq_9.1.0+dfsg-1_amd64.deb 17-Sep-2025 16:17 38M coq_9.1.0+dfsg-1_arm64.deb 21-Sep-2025 19:25 41M coq_9.1.0+dfsg-1_ppc64el.deb 21-Sep-2025 17:06 38M coq_9.1.0+dfsg-1_riscv64.deb 22-Sep-2025 03:35 39M coq_9.1.0+dfsg-1_s390x.deb 21-Sep-2025 20:47 38M coq_9.1.0+dfsg.orig.tar.xz 17-Sep-2025 16:17 4M coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 2M coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2M coqide_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 2M coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 2M coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 2M coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2M coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 2M coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 2M coqide_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 2M coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 2M coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 2M coqide_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 2M coqide_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 2M coqide_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 2M coqide_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 2M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 42M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 40M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 66M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 65M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 66M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 70M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 65M libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb 17-Sep-2025 16:17 68M libcoq-core-ocaml-dev_9.1.0+dfsg-1_arm64.deb 21-Sep-2025 19:25 68M libcoq-core-ocaml-dev_9.1.0+dfsg-1_ppc64el.deb 21-Sep-2025 17:06 68M libcoq-core-ocaml-dev_9.1.0+dfsg-1_riscv64.deb 22-Sep-2025 03:35 72M libcoq-core-ocaml-dev_9.1.0+dfsg-1_s390x.deb 21-Sep-2025 20:47 67M libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 22M libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25M libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 25M libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 25M libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 25M libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 25M libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb 17-Sep-2025 16:17 26M libcoq-core-ocaml_9.1.0+dfsg-1_arm64.deb 21-Sep-2025 19:25 26M libcoq-core-ocaml_9.1.0+dfsg-1_ppc64el.deb 21-Sep-2025 17:06 26M libcoq-core-ocaml_9.1.0+dfsg-1_riscv64.deb 22-Sep-2025 03:35 26M libcoq-core-ocaml_9.1.0+dfsg-1_s390x.deb 21-Sep-2025 20:47 26M libcoq-core_9.1.0+dfsg-1_amd64.deb 17-Sep-2025 16:17 1M libcoq-core_9.1.0+dfsg-1_arm64.deb 21-Sep-2025 19:25 1M libcoq-core_9.1.0+dfsg-1_ppc64el.deb 21-Sep-2025 17:06 1M libcoq-core_9.1.0+dfsg-1_riscv64.deb 22-Sep-2025 03:35 1M libcoq-core_9.1.0+dfsg-1_s390x.deb 21-Sep-2025 20:47 1M libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18M libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18M libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 18M libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18M libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7M libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 8M libcoq-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 7M libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7M libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21M libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21M libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 21M libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 21M libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 22M libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 22M libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb 15-Jun-2025 05:53 22M libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 22M libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 22M rocqide_9.1.0+dfsg-1_amd64.deb 17-Sep-2025 16:17 2M rocqide_9.1.0+dfsg-1_arm64.deb 21-Sep-2025 19:25 2M rocqide_9.1.0+dfsg-1_ppc64el.deb 21-Sep-2025 17:06 2M rocqide_9.1.0+dfsg-1_riscv64.deb 22-Sep-2025 03:35 2M rocqide_9.1.0+dfsg-1_s390x.deb 21-Sep-2025 20:47 2M