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-4.deb..> 29-Aug-2023 11:38 3600 gnome-shell-extension-arc-menu_49+forkv29-4.dsc 29-Aug-2023 11:38 2203 gnome-shell-extension-arc-menu_49+forkv29-4_all..> 29-Aug-2023 12:28 435K 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_55-1.debian.tar.xz 04-Mar-2024 17:58 2724 gnome-shell-extension-arc-menu_55-1.dsc 04-Mar-2024 17:58 2147 gnome-shell-extension-arc-menu_55-1_all.deb 04-Mar-2024 18:35 334K gnome-shell-extension-arc-menu_55.orig.tar.gz 04-Mar-2024 17:58 536K gnome-shell-extension-arc-menu_56-1~exp1.debian..> 24-Apr-2024 09:32 2808 gnome-shell-extension-arc-menu_56-1~exp1.dsc 24-Apr-2024 09:32 2167 gnome-shell-extension-arc-menu_56-1~exp1_all.deb 24-Apr-2024 09:48 336K gnome-shell-extension-arc-menu_56.orig.tar.gz 24-Apr-2024 09:32 542K