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.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 83M coq_8.19.1+dfsg-3+b2_arm64.deb 20-Aug-2024 18:16 88M coq_8.19.1+dfsg-3.debian.tar.xz 03-Aug-2024 07:53 32K coq_8.19.1+dfsg-3.dsc 03-Aug-2024 07:53 2341 coq_8.19.1+dfsg.orig.tar.bz2 26-Apr-2024 13:46 5M 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-1_amd64.deb 20-Nov-2024 10:33 73M coq_8.20.0+dfsg-1_arm64.deb 20-Nov-2024 10:58 77M coq_8.20.0+dfsg.orig.tar.xz 20-Nov-2024 09:52 5M coqide_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 2M coqide_8.19.1+dfsg-3+b2_arm64.deb 20-Aug-2024 18:16 2M coqide_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 2M coqide_8.20.0+dfsg-1_arm64.deb 20-Nov-2024 10:58 2M libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 64M libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb 20-Aug-2024 18:16 64M libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 66M libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb 20-Nov-2024 10:58 66M libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 24M libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb 20-Aug-2024 18:16 24M libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 25M libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb 20-Nov-2024 10:58 25M libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 23M libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb 20-Aug-2024 18:16 23M libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 22M libcoq-stdlib_8.20.0+dfsg-1_arm64.deb 20-Nov-2024 10:58 22M