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 !
../ grub-customizer_5.2.5-1.1+b1_arm64.deb 20-Jan-2026 13:51 614K grub-customizer_5.2.5-1.1.debian.tar.xz 11-Oct-2025 11:52 7400 grub-customizer_5.2.5-1.1.dsc 11-Oct-2025 11:52 2255 grub-customizer_5.2.5-1.1_amd64.deb 25-Oct-2025 13:39 689K grub-customizer_5.2.5-1.1_armhf.deb 25-Oct-2025 13:39 621K grub-customizer_5.2.5-1.1_i386.deb 25-Oct-2025 13:39 715K grub-customizer_5.2.5.orig.tar.gz 12-Jun-2024 14:21 557K grub-customizer_5.2.5.orig.tar.gz.asc 12-Jun-2024 14:21 833 grub-customizer_5.2.8-1.debian.tar.xz 19-May-2026 03:59 7456 grub-customizer_5.2.8-1.dsc 19-May-2026 03:59 2247 grub-customizer_5.2.8-1_amd64.deb 19-May-2026 04:19 688K grub-customizer_5.2.8-1_arm64.deb 19-May-2026 04:14 612K grub-customizer_5.2.8-1_armhf.deb 19-May-2026 04:14 619K grub-customizer_5.2.8-1_i386.deb 19-May-2026 04:19 712K grub-customizer_5.2.8.orig.tar.gz 19-May-2026 03:59 558K grub-customizer_5.2.8.orig.tar.gz.asc 19-May-2026 03:59 833