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.5.1-1.debian...> 15-Jul-2024 12:28 2744 gnome-shell-extension-shortcuts_1.5.1-1.dsc 15-Jul-2024 12:28 2130 gnome-shell-extension-shortcuts_1.5.1-1_all.deb 15-Jul-2024 12:48 15K gnome-shell-extension-shortcuts_1.5.1.orig.tar.bz2 06-Apr-2024 08:37 23K gnome-shell-extension-shortcuts_1.6.0-1.debian...> 07-Oct-2024 07:10 2888 gnome-shell-extension-shortcuts_1.6.0-1.dsc 07-Oct-2024 07:10 2130 gnome-shell-extension-shortcuts_1.6.0-1_all.deb 07-Oct-2024 12:29 15K gnome-shell-extension-shortcuts_1.6.0.orig.tar.bz2 02-Sep-2024 17:00 23K