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.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 68M coq_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 71M 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 coqide_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 2M coqide_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 2M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 50M libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 50M libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 23M libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 23M libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 22M libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 22M