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_63-2.debian.tar.xz 13-Nov-2024 07:40 3080 gnome-shell-extension-arc-menu_63-2.dsc 13-Nov-2024 07:40 2224 gnome-shell-extension-arc-menu_63-2_all.deb 13-Nov-2024 08:06 362K gnome-shell-extension-arc-menu_63.orig.tar.gz 07-Nov-2024 13:36 550K