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-shortcuts_1.7.0-1.debian...> 17-Feb-2025 09:18 2948 gnome-shell-extension-shortcuts_1.7.0-1.dsc 17-Feb-2025 09:18 2166 gnome-shell-extension-shortcuts_1.7.0-1_all.deb 17-Feb-2025 09:38 16K gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 17-Feb-2025 09:18 758K gnome-shell-extension-shortcuts_1.7.1-1.debian...> 26-Sep-2025 08:37 3184 gnome-shell-extension-shortcuts_1.7.1-1.dsc 26-Sep-2025 08:37 2175 gnome-shell-extension-shortcuts_1.7.1-1_all.deb 26-Sep-2025 09:08 18K gnome-shell-extension-shortcuts_1.7.1.orig.tar.bz2 26-Sep-2025 08:37 759K