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 !
../ arduino-language-server_0.8.0~rc1+ds1-1.debian...> 14-Aug-2026 09:14 4060 arduino-language-server_0.8.0~rc1+ds1-1.dsc 14-Aug-2026 09:14 2823 arduino-language-server_0.8.0~rc1+ds1-1_amd64.deb 17-Aug-2026 10:26 4M arduino-language-server_0.8.0~rc1+ds1-1_arm64.deb 17-Aug-2026 10:21 3M arduino-language-server_0.8.0~rc1+ds1-1_armhf.deb 17-Aug-2026 10:21 4M arduino-language-server_0.8.0~rc1+ds1-1_i386.deb 17-Aug-2026 10:31 4M arduino-language-server_0.8.0~rc1+ds1-1_loong64..> 17-Aug-2026 10:21 4M arduino-language-server_0.8.0~rc1+ds1-1_ppc64el..> 17-Aug-2026 10:21 3M arduino-language-server_0.8.0~rc1+ds1-1_s390x.deb 17-Aug-2026 10:21 4M arduino-language-server_0.8.0~rc1+ds1.orig.tar.xz 14-Aug-2026 09:14 80K