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-doc-html_8.20.0-2_all.deb 24-Jan-2025 02:58 2M coq-doc-pdf_8.20.0-2_all.deb 24-Jan-2025 02:58 5M coq-doc_8.20.0-2.debian.tar.xz 23-Jan-2025 21:17 8820 coq-doc_8.20.0-2.dsc 23-Jan-2025 21:17 2572 coq-doc_8.20.0-2_all.deb 24-Jan-2025 02:58 5364 coq-doc_8.20.0.orig.tar.gz 26-Dec-2024 21:06 7M