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+b1_arm64.deb 30-Oct-2024 09:30 682K 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_arm64.deb 25-Oct-2025 13:39 613K 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-1.debian.tar.xz 12-Jun-2024 14:21 7228 grub-customizer_5.2.5-1.dsc 12-Jun-2024 14:21 2272 grub-customizer_5.2.5-1_amd64.deb 12-Jun-2024 15:01 734K grub-customizer_5.2.5-1_armhf.deb 12-Jun-2024 15:06 671K grub-customizer_5.2.5-1_i386.deb 12-Jun-2024 15:06 768K 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