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-manager_0.6.1-1.debian.ta..> 24-Jan-2025 13:28 2944 gnome-shell-extension-manager_0.6.1-1.dsc 24-Jan-2025 13:28 2409 gnome-shell-extension-manager_0.6.1-1_amd64.deb 24-Jan-2025 14:10 173K gnome-shell-extension-manager_0.6.1-1_arm64.deb 24-Jan-2025 14:15 164K gnome-shell-extension-manager_0.6.1-1_armhf.deb 24-Jan-2025 14:20 158K gnome-shell-extension-manager_0.6.1-1_i386.deb 24-Jan-2025 14:10 180K gnome-shell-extension-manager_0.6.1.orig.tar.gz 24-Jan-2025 13:28 2M