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.0-1_all.deb 17-Sep-2024 09:11 3712 gnome-classic-xsession_48~rc-1_all.deb 04-Mar-2025 00:19 3718 gnome-classic_47.0-1_all.deb 17-Sep-2024 09:11 4482 gnome-classic_48~rc-1_all.deb 04-Mar-2025 00:19 4510 gnome-shell-extension-apps-menu_47.0-1_all.deb 17-Sep-2024 09:11 9408 gnome-shell-extension-apps-menu_48~rc-1_all.deb 04-Mar-2025 00:19 9386 gnome-shell-extension-auto-move-windows_47.0-1_..> 17-Sep-2024 09:11 7714 gnome-shell-extension-auto-move-windows_48~rc-1..> 04-Mar-2025 00:19 7662 gnome-shell-extension-drive-menu_47.0-1_all.deb 17-Sep-2024 09:11 5576 gnome-shell-extension-drive-menu_48~rc-1_all.deb 04-Mar-2025 00:19 5580 gnome-shell-extension-launch-new-instance_47.0-..> 17-Sep-2024 09:11 4030 gnome-shell-extension-launch-new-instance_48~rc..> 04-Mar-2025 00:19 4032 gnome-shell-extension-light-style_47.0-1_all.deb 17-Sep-2024 09:11 3784 gnome-shell-extension-light-style_48~rc-1_all.deb 04-Mar-2025 00:19 3790 gnome-shell-extension-native-window-placement_4..> 17-Sep-2024 09:11 7536 gnome-shell-extension-native-window-placement_4..> 04-Mar-2025 00:19 7504 gnome-shell-extension-places-menu_47.0-1_all.deb 17-Sep-2024 09:11 8692 gnome-shell-extension-places-menu_48~rc-1_all.deb 04-Mar-2025 00:19 8412 gnome-shell-extension-screenshot-window-sizer_4..> 17-Sep-2024 09:11 5958 gnome-shell-extension-screenshot-window-sizer_4..> 04-Mar-2025 00:19 5996 gnome-shell-extension-status-icons_47.0-1_all.deb 17-Sep-2024 09:11 4412 gnome-shell-extension-status-icons_48~rc-1_all.deb 04-Mar-2025 00:19 4420 gnome-shell-extension-system-monitor_47.0-1_all..> 17-Sep-2024 09:11 8754 gnome-shell-extension-system-monitor_48~rc-1_al..> 04-Mar-2025 00:19 8768 gnome-shell-extension-user-theme_47.0-1_all.deb 17-Sep-2024 09:11 5828 gnome-shell-extension-user-theme_48~rc-1_all.deb 04-Mar-2025 00:19 5770 gnome-shell-extension-window-list_47.0-1_all.deb 17-Sep-2024 09:11 16K gnome-shell-extension-window-list_48~rc-1_all.deb 04-Mar-2025 00:19 19K gnome-shell-extension-windows-navigator_47.0-1_..> 17-Sep-2024 09:11 5850 gnome-shell-extension-windows-navigator_48~rc-1..> 04-Mar-2025 00:19 5816 gnome-shell-extension-workspace-indicator_47.0-..> 17-Sep-2024 09:11 10K gnome-shell-extension-workspace-indicator_48~rc..> 04-Mar-2025 00:19 9922 gnome-shell-extensions-common_47.0-1_all.deb 17-Sep-2024 09:11 113K gnome-shell-extensions-common_48~rc-1_all.deb 04-Mar-2025 00:19 115K gnome-shell-extensions_3.10.1-0ubuntu2.debian.t..> 12-Mar-2014 21:28 6244 gnome-shell-extensions_3.10.1-0ubuntu2.dsc 12-Mar-2014 21:28 2568 gnome-shell-extensions_3.10.1-0ubuntu2_all.deb 12-Mar-2014 21:28 116K gnome-shell-extensions_3.10.1.orig.tar.xz 17-Jan-2014 02:33 195K gnome-shell-extensions_3.18.3-2.debian.tar.xz 10-Feb-2016 05:24 6000 gnome-shell-extensions_3.18.3-2.dsc 10-Feb-2016 05:24 2415 gnome-shell-extensions_3.18.3-2_all.deb 10-Feb-2016 05:24 153K gnome-shell-extensions_3.18.3.orig.tar.xz 15-Jan-2016 05:09 228K gnome-shell-extensions_3.28.0-2.debian.tar.xz 20-Mar-2018 11:18 6972 gnome-shell-extensions_3.28.0-2.dsc 20-Mar-2018 11:18 2168 gnome-shell-extensions_3.28.0-2_all.deb 20-Mar-2018 11:18 160K gnome-shell-extensions_3.28.0.orig.tar.xz 16-Mar-2018 01:39 194K gnome-shell-extensions_3.36.1-1.debian.tar.xz 10-Apr-2020 23:08 7960 gnome-shell-extensions_3.36.1-1.dsc 10-Apr-2020 23:08 2361 gnome-shell-extensions_3.36.1-1_all.deb 10-Apr-2020 23:13 152K gnome-shell-extensions_3.36.1.orig.tar.xz 10-Apr-2020 23:08 203K gnome-shell-extensions_42.0-1.debian.tar.xz 14-Mar-2022 23:34 9160 gnome-shell-extensions_42.0-1.dsc 14-Mar-2022 23:34 2203 gnome-shell-extensions_42.0-1_all.deb 15-Mar-2022 01:19 169K gnome-shell-extensions_42.0.orig.tar.xz 14-Mar-2022 23:34 213K gnome-shell-extensions_42.1-0ubuntu1.debian.tar.xz 13-May-2022 11:24 9304 gnome-shell-extensions_42.1-0ubuntu1.dsc 13-May-2022 11:24 2502 gnome-shell-extensions_42.1-0ubuntu1_all.deb 13-May-2022 11:24 167K gnome-shell-extensions_42.1.orig.tar.xz 09-May-2022 17:34 212K gnome-shell-extensions_46.1-2.debian.tar.xz 24-Apr-2024 11:44 9548 gnome-shell-extensions_46.1-2.dsc 24-Apr-2024 11:44 2256 gnome-shell-extensions_46.1-2_all.deb 24-Apr-2024 11:44 160K gnome-shell-extensions_46.1.orig.tar.xz 22-Apr-2024 07:03 203K gnome-shell-extensions_47.0-1.debian.tar.xz 16-Sep-2024 23:11 12K gnome-shell-extensions_47.0-1.dsc 16-Sep-2024 23:11 3961 gnome-shell-extensions_47.0-1_all.deb 17-Sep-2024 09:11 16K gnome-shell-extensions_47.0.orig.tar.xz 16-Sep-2024 23:11 216K gnome-shell-extensions_48~rc-1.debian.tar.xz 04-Mar-2025 00:19 12K gnome-shell-extensions_48~rc-1.dsc 04-Mar-2025 00:19 3989 gnome-shell-extensions_48~rc-1_all.deb 04-Mar-2025 00:19 17K gnome-shell-extensions_48~rc.orig.tar.xz 04-Mar-2025 00:19 226K