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-1.debian.tar.xz 15-Mar-2025 05:48 3128 gnome-shell-extension-arc-menu_65-1.dsc 15-Mar-2025 05:48 2225 gnome-shell-extension-arc-menu_65-1_all.deb 15-Mar-2025 06:09 367K gnome-shell-extension-arc-menu_65.orig.tar.gz 15-Mar-2025 05:48 561K