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 !
../ elpi_2.0.5-1+b2_amd64.deb 28-Jan-2025 14:27 2M elpi_2.0.5-1+b2_arm64.deb 28-Jan-2025 19:00 2M elpi_2.0.5-1.debian.tar.xz 18-Dec-2024 16:08 4732 elpi_2.0.5-1.dsc 18-Dec-2024 16:08 2441 elpi_2.0.5.orig.tar.gz 18-Dec-2024 16:08 3M elpi_2.0.7-1.debian.tar.xz 17-Feb-2025 16:37 5168 elpi_2.0.7-1.dsc 17-Feb-2025 16:37 2446 elpi_2.0.7-1_amd64.deb 17-Feb-2025 17:12 2M elpi_2.0.7-1_arm64.deb 17-Feb-2025 17:18 2M elpi_2.0.7.orig.tar.gz 17-Feb-2025 16:37 3M libelpi-ocaml-dev_2.0.5-1+b2_amd64.deb 28-Jan-2025 14:27 15M libelpi-ocaml-dev_2.0.5-1+b2_arm64.deb 28-Jan-2025 19:00 15M libelpi-ocaml-dev_2.0.7-1_amd64.deb 17-Feb-2025 17:12 15M libelpi-ocaml-dev_2.0.7-1_arm64.deb 17-Feb-2025 17:18 15M libelpi-ocaml_2.0.5-1+b2_amd64.deb 28-Jan-2025 14:27 4M libelpi-ocaml_2.0.5-1+b2_arm64.deb 28-Jan-2025 19:00 4M libelpi-ocaml_2.0.7-1_amd64.deb 17-Feb-2025 17:12 4M libelpi-ocaml_2.0.7-1_arm64.deb 17-Feb-2025 17:18 4M