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_1.18.2-5+b5_amd64.deb 12-Oct-2024 06:46 2M elpi_1.18.2-5+b5_arm64.deb 12-Oct-2024 06:57 2M elpi_1.18.2-5.debian.tar.xz 10-Aug-2024 07:45 4880 elpi_1.18.2-5.dsc 10-Aug-2024 07:45 2166 elpi_1.18.2.orig.tar.gz 26-Apr-2024 13:46 3M 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-1_amd64.deb 18-Dec-2024 16:43 2M elpi_2.0.5-1_arm64.deb 18-Dec-2024 16:43 2M elpi_2.0.5.orig.tar.gz 18-Dec-2024 16:08 3M libelpi-ocaml-dev_1.18.2-5+b5_amd64.deb 12-Oct-2024 06:46 13M libelpi-ocaml-dev_1.18.2-5+b5_arm64.deb 12-Oct-2024 06:57 13M libelpi-ocaml-dev_2.0.5-1_amd64.deb 18-Dec-2024 16:43 15M libelpi-ocaml-dev_2.0.5-1_arm64.deb 18-Dec-2024 16:43 15M libelpi-ocaml_1.18.2-5+b5_amd64.deb 12-Oct-2024 06:46 3M libelpi-ocaml_1.18.2-5+b5_arm64.deb 12-Oct-2024 06:57 3M libelpi-ocaml_2.0.5-1_amd64.deb 18-Dec-2024 16:43 4M libelpi-ocaml_2.0.5-1_arm64.deb 18-Dec-2024 16:43 4M