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_8.20.0+dfsg-1+b1_amd64.deb 28-Jan-2025 17:00 67M coq_8.20.0+dfsg-1+b1_arm64.deb 28-Jan-2025 20:47 71M coq_8.20.0+dfsg-1.debian.tar.xz 20-Nov-2024 09:52 29K coq_8.20.0+dfsg-1.dsc 20-Nov-2024 09:52 2570 coq_8.20.0+dfsg.orig.tar.xz 20-Nov-2024 09:52 5M 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-1_amd64.deb 17-Feb-2025 17:12 67M coq_8.20.1+dfsg-1_arm64.deb 17-Feb-2025 17:33 71M coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5M coqide_8.20.0+dfsg-1+b1_amd64.deb 28-Jan-2025 17:00 2M coqide_8.20.0+dfsg-1+b1_arm64.deb 28-Jan-2025 20:47 2M coqide_8.20.1+dfsg-1_amd64.deb 17-Feb-2025 17:12 2M coqide_8.20.1+dfsg-1_arm64.deb 17-Feb-2025 17:33 2M libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb 28-Jan-2025 17:00 66M libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_arm64.deb 28-Jan-2025 20:47 65M libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 17-Feb-2025 17:12 66M libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb 17-Feb-2025 17:33 65M libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb 28-Jan-2025 17:00 25M libcoq-core-ocaml_8.20.0+dfsg-1+b1_arm64.deb 28-Jan-2025 20:47 25M libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 17-Feb-2025 17:12 25M libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb 17-Feb-2025 17:33 25M libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb 28-Jan-2025 17:00 22M libcoq-stdlib_8.20.0+dfsg-1+b1_arm64.deb 28-Jan-2025 20:47 22M libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 17-Feb-2025 17:12 22M libcoq-stdlib_8.20.1+dfsg-1_arm64.deb 17-Feb-2025 17:33 22M