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_64-1.debian.tar.xz 03-Feb-2025 09:29 3112 gnome-shell-extension-arc-menu_64-1.dsc 03-Feb-2025 09:29 2224 gnome-shell-extension-arc-menu_64-1_all.deb 03-Feb-2025 10:21 365K gnome-shell-extension-arc-menu_64.orig.tar.gz 03-Feb-2025 09:29 551K gnome-shell-extension-arc-menu_65-2.debian.tar.xz 10-Apr-2025 23:13 3156 gnome-shell-extension-arc-menu_65-2.dsc 10-Apr-2025 23:13 2215 gnome-shell-extension-arc-menu_65-2_all.deb 10-Apr-2025 23:33 367K gnome-shell-extension-arc-menu_65.orig.tar.gz 15-Mar-2025 05:48 561K