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_49+forkv29-3.deb..> 27-Sep-2022 23:34 3500 gnome-shell-extension-arc-menu_49+forkv29-3.dsc 27-Sep-2022 23:34 2182 gnome-shell-extension-arc-menu_49+forkv29-3_all..> 28-Sep-2022 00:59 434K gnome-shell-extension-arc-menu_49+forkv29.orig...> 30-Mar-2022 10:09 652K gnome-shell-extension-arc-menu_49-1.debian.tar.xz 22-Oct-2020 11:37 2268 gnome-shell-extension-arc-menu_49-1.dsc 22-Oct-2020 11:37 2147 gnome-shell-extension-arc-menu_49-1_all.deb 22-Oct-2020 11:57 380K gnome-shell-extension-arc-menu_49.orig.tar.gz 22-Oct-2020 11:37 899K gnome-shell-extension-arc-menu_57-1.debian.tar.xz 15-Jul-2024 12:38 2888 gnome-shell-extension-arc-menu_57-1.dsc 15-Jul-2024 12:38 2210 gnome-shell-extension-arc-menu_57-1_all.deb 15-Jul-2024 13:14 337K gnome-shell-extension-arc-menu_57.orig.tar.gz 19-Jun-2024 09:36 543K