The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ gnome-classic-xsession_48.0-1_all.deb 18-Mar-2025 03:13 3716 gnome-classic_48.0-1_all.deb 18-Mar-2025 03:13 4510 gnome-classic_49.0-1_all.deb 16-Sep-2025 05:09 4488 gnome-shell-extension-apps-menu_48.0-1_all.deb 18-Mar-2025 03:13 9300 gnome-shell-extension-apps-menu_49.0-1_all.deb 16-Sep-2025 05:09 9296 gnome-shell-extension-auto-move-windows_48.0-1_..> 18-Mar-2025 03:13 7664 gnome-shell-extension-auto-move-windows_49.0-1_..> 16-Sep-2025 05:09 7664 gnome-shell-extension-drive-menu_48.0-1_all.deb 18-Mar-2025 03:13 5576 gnome-shell-extension-drive-menu_49.0-1_all.deb 16-Sep-2025 05:09 5572 gnome-shell-extension-launch-new-instance_48.0-..> 18-Mar-2025 03:13 4034 gnome-shell-extension-launch-new-instance_49.0-..> 16-Sep-2025 05:09 4032 gnome-shell-extension-light-style_48.0-1_all.deb 18-Mar-2025 03:13 3786 gnome-shell-extension-light-style_49.0-1_all.deb 16-Sep-2025 05:09 3778 gnome-shell-extension-native-window-placement_4..> 18-Mar-2025 03:13 7504 gnome-shell-extension-native-window-placement_4..> 16-Sep-2025 05:09 7492 gnome-shell-extension-places-menu_48.0-1_all.deb 18-Mar-2025 03:13 8408 gnome-shell-extension-places-menu_49.0-1_all.deb 16-Sep-2025 05:09 8402 gnome-shell-extension-screenshot-window-sizer_4..> 18-Mar-2025 03:13 6002 gnome-shell-extension-screenshot-window-sizer_4..> 16-Sep-2025 05:09 5984 gnome-shell-extension-status-icons_48.0-1_all.deb 18-Mar-2025 03:13 4416 gnome-shell-extension-status-icons_49.0-1_all.deb 16-Sep-2025 05:09 4416 gnome-shell-extension-system-monitor_48.0-1_all..> 18-Mar-2025 03:13 8770 gnome-shell-extension-system-monitor_49.0-1_all..> 16-Sep-2025 05:09 8766 gnome-shell-extension-user-theme_48.0-1_all.deb 18-Mar-2025 03:13 5766 gnome-shell-extension-user-theme_49.0-1_all.deb 16-Sep-2025 05:09 5760 gnome-shell-extension-window-list_48.0-1_all.deb 18-Mar-2025 03:13 18988 gnome-shell-extension-window-list_49.0-1_all.deb 16-Sep-2025 05:09 19742 gnome-shell-extension-windows-navigator_48.0-1_..> 18-Mar-2025 03:13 5816 gnome-shell-extension-windows-navigator_49.0-1_..> 16-Sep-2025 05:09 5810 gnome-shell-extension-workspace-indicator_48.0-..> 18-Mar-2025 03:13 9920 gnome-shell-extension-workspace-indicator_49.0-..> 16-Sep-2025 05:09 10646 gnome-shell-extensions-common_48.0-1_all.deb 18-Mar-2025 03:13 118158 gnome-shell-extensions-common_49.0-1_all.deb 16-Sep-2025 05:09 121372 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 119244 gnome-shell-extensions_3.10.1.orig.tar.xz 17-Jan-2014 02:33 200136 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 156240 gnome-shell-extensions_3.18.3.orig.tar.xz 15-Jan-2016 05:09 233480 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 163508 gnome-shell-extensions_3.28.0.orig.tar.xz 16-Mar-2018 01:39 199092 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 155328 gnome-shell-extensions_3.36.1.orig.tar.xz 10-Apr-2020 23:08 207980 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 173378 gnome-shell-extensions_42.0.orig.tar.xz 14-Mar-2022 23:34 217888 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 170960 gnome-shell-extensions_42.1.orig.tar.xz 09-May-2022 17:34 216664 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 164058 gnome-shell-extensions_46.1.orig.tar.xz 22-Apr-2024 07:03 208284 gnome-shell-extensions_48.0-1.debian.tar.xz 18-Mar-2025 00:12 12396 gnome-shell-extensions_48.0-1.dsc 18-Mar-2025 00:12 3982 gnome-shell-extensions_48.0-1_all.deb 18-Mar-2025 03:13 17392 gnome-shell-extensions_48.0.orig.tar.xz 18-Mar-2025 00:12 230932 gnome-shell-extensions_49.0-1.debian.tar.xz 15-Sep-2025 19:06 12488 gnome-shell-extensions_49.0-1.dsc 15-Sep-2025 19:06 3906 gnome-shell-extensions_49.0-1_all.deb 16-Sep-2025 05:09 17730 gnome-shell-extensions_49.0.orig.tar.xz 15-Sep-2025 19:06 247612
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.