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-classic-xsession_47.4-1_all.deb 05-Feb-2025 11:45 11K gnome-classic-xsession_48~beta-1_all.deb 05-Feb-2025 12:01 11K gnome-classic_47.4-1_all.deb 05-Feb-2025 11:45 11K gnome-classic_48~beta-1_all.deb 05-Feb-2025 12:01 11K gnome-shell-extension-apps-menu_47.4-1_all.deb 05-Feb-2025 11:45 13K gnome-shell-extension-apps-menu_48~beta-1_all.deb 05-Feb-2025 12:01 13K gnome-shell-extension-auto-move-windows_47.4-1_..> 05-Feb-2025 11:45 11K gnome-shell-extension-auto-move-windows_48~beta..> 05-Feb-2025 12:01 11K gnome-shell-extension-drive-menu_47.4-1_all.deb 05-Feb-2025 11:45 9332 gnome-shell-extension-drive-menu_48~beta-1_all.deb 05-Feb-2025 12:01 9340 gnome-shell-extension-launch-new-instance_47.4-..> 05-Feb-2025 11:45 7840 gnome-shell-extension-launch-new-instance_48~be..> 05-Feb-2025 12:01 7856 gnome-shell-extension-light-style_47.4-1_all.deb 05-Feb-2025 11:45 7588 gnome-shell-extension-light-style_48~beta-1_all..> 05-Feb-2025 12:01 7600 gnome-shell-extension-native-window-placement_4..> 05-Feb-2025 11:45 11K gnome-shell-extension-native-window-placement_4..> 05-Feb-2025 12:01 11K gnome-shell-extension-places-menu_47.4-1_all.deb 05-Feb-2025 11:45 12K gnome-shell-extension-places-menu_48~beta-1_all..> 05-Feb-2025 12:01 12K gnome-shell-extension-screenshot-window-sizer_4..> 05-Feb-2025 11:45 9708 gnome-shell-extension-screenshot-window-sizer_4..> 05-Feb-2025 12:01 9708 gnome-shell-extension-status-icons_47.4-1_all.deb 05-Feb-2025 11:45 8208 gnome-shell-extension-status-icons_48~beta-1_al..> 05-Feb-2025 12:01 8224 gnome-shell-extension-system-monitor_47.4-1_all..> 05-Feb-2025 11:45 12K gnome-shell-extension-system-monitor_48~beta-1_..> 05-Feb-2025 12:01 12K gnome-shell-extension-user-theme_47.4-1_all.deb 05-Feb-2025 11:45 9516 gnome-shell-extension-user-theme_48~beta-1_all.deb 05-Feb-2025 12:01 9520 gnome-shell-extension-window-list_47.4-1_all.deb 05-Feb-2025 11:45 19K gnome-shell-extension-window-list_48~beta-1_all..> 05-Feb-2025 12:01 22K gnome-shell-extension-windows-navigator_47.4-1_..> 05-Feb-2025 11:45 9568 gnome-shell-extension-windows-navigator_48~beta..> 05-Feb-2025 12:01 9572 gnome-shell-extension-workspace-indicator_47.4-..> 05-Feb-2025 11:45 14K gnome-shell-extension-workspace-indicator_48~be..> 05-Feb-2025 12:01 13K gnome-shell-extensions-common_47.4-1_all.deb 05-Feb-2025 11:45 100K gnome-shell-extensions-common_48~beta-1_all.deb 05-Feb-2025 12:01 102K gnome-shell-extensions_3.30.1-1.debian.tar.xz 02-Nov-2018 10:42 7336 gnome-shell-extensions_3.30.1-1.dsc 02-Nov-2018 10:42 2168 gnome-shell-extensions_3.30.1-1_all.deb 02-Nov-2018 12:14 164K gnome-shell-extensions_3.30.1.orig.tar.xz 02-Nov-2018 10:42 194K gnome-shell-extensions_3.38.2-1.debian.tar.xz 03-Dec-2020 14:10 8448 gnome-shell-extensions_3.38.2-1.dsc 03-Dec-2020 14:10 2336 gnome-shell-extensions_3.38.2-1_all.deb 03-Dec-2020 15:01 157K gnome-shell-extensions_3.38.2.orig.tar.xz 03-Dec-2020 14:10 205K gnome-shell-extensions_43.1-1.debian.tar.xz 22-Nov-2022 19:28 9312 gnome-shell-extensions_43.1-1.dsc 22-Nov-2022 19:28 2173 gnome-shell-extensions_43.1-1_all.deb 22-Nov-2022 19:58 157K gnome-shell-extensions_43.1.orig.tar.xz 22-Nov-2022 19:28 212K gnome-shell-extensions_47.4-1.debian.tar.xz 05-Feb-2025 11:30 12K gnome-shell-extensions_47.4-1.dsc 05-Feb-2025 11:30 3982 gnome-shell-extensions_47.4-1_all.deb 05-Feb-2025 11:45 20K gnome-shell-extensions_47.4.orig.tar.xz 05-Feb-2025 11:30 216K gnome-shell-extensions_48~beta-1.debian.tar.xz 05-Feb-2025 11:35 12K gnome-shell-extensions_48~beta-1.dsc 05-Feb-2025 11:35 4003 gnome-shell-extensions_48~beta-1_all.deb 05-Feb-2025 12:01 20K gnome-shell-extensions_48~beta.orig.tar.xz 05-Feb-2025 11:35 225K