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.0-1.debian.ta..> 14-Dec-2024 13:14 2888 gnome-shell-extension-manager_0.6.0-1.dsc 14-Dec-2024 13:14 2415 gnome-shell-extension-manager_0.6.0-1_amd64.deb 14-Dec-2024 13:34 171K gnome-shell-extension-manager_0.6.0-1_arm64.deb 14-Dec-2024 13:39 162K gnome-shell-extension-manager_0.6.0-1_armhf.deb 14-Dec-2024 13:34 156K gnome-shell-extension-manager_0.6.0-1_i386.deb 14-Dec-2024 13:34 178K gnome-shell-extension-manager_0.6.0.orig.tar.gz 14-Dec-2024 13:14 2M