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 !
../ gnome-shell-extension-arc-menu_57-1.debian.tar.xz 15-Jul-2024 12:38 2888 gnome-shell-extension-arc-menu_57-1.dsc 15-Jul-2024 12:38 2210 gnome-shell-extension-arc-menu_57-1_all.deb 15-Jul-2024 13:14 337K gnome-shell-extension-arc-menu_57.orig.tar.gz 19-Jun-2024 09:36 543K gnome-shell-extension-arc-menu_58-1.debian.tar.xz 15-Aug-2024 15:50 2940 gnome-shell-extension-arc-menu_58-1.dsc 15-Aug-2024 15:50 2230 gnome-shell-extension-arc-menu_58-1_all.deb 15-Aug-2024 16:36 338K gnome-shell-extension-arc-menu_58.orig.tar.gz 15-Aug-2024 15:50 544K