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_47.0-1_all.deb 17-Sep-2024 09:11 3712 gnome-classic-xsession_47.1-1_all.deb 31-Oct-2024 21:03 3714 gnome-classic_47.0-1_all.deb 17-Sep-2024 09:11 4482 gnome-classic_47.1-1_all.deb 31-Oct-2024 21:03 4508 gnome-shell-extension-apps-menu_47.0-1_all.deb 17-Sep-2024 09:11 9408 gnome-shell-extension-apps-menu_47.1-1_all.deb 31-Oct-2024 21:03 9420 gnome-shell-extension-auto-move-windows_47.0-1_..> 17-Sep-2024 09:11 7714 gnome-shell-extension-auto-move-windows_47.1-1_..> 31-Oct-2024 21:03 7724 gnome-shell-extension-drive-menu_47.0-1_all.deb 17-Sep-2024 09:11 5576 gnome-shell-extension-drive-menu_47.1-1_all.deb 31-Oct-2024 21:03 5576 gnome-shell-extension-launch-new-instance_47.0-..> 17-Sep-2024 09:11 4030 gnome-shell-extension-launch-new-instance_47.1-..> 31-Oct-2024 21:03 4032 gnome-shell-extension-light-style_47.0-1_all.deb 17-Sep-2024 09:11 3784 gnome-shell-extension-light-style_47.1-1_all.deb 31-Oct-2024 21:03 3792 gnome-shell-extension-native-window-placement_4..> 17-Sep-2024 09:11 7536 gnome-shell-extension-native-window-placement_4..> 31-Oct-2024 21:03 7540 gnome-shell-extension-places-menu_47.0-1_all.deb 17-Sep-2024 09:11 8692 gnome-shell-extension-places-menu_47.1-1_all.deb 31-Oct-2024 21:03 8698 gnome-shell-extension-screenshot-window-sizer_4..> 17-Sep-2024 09:11 5958 gnome-shell-extension-screenshot-window-sizer_4..> 31-Oct-2024 21:03 5964 gnome-shell-extension-status-icons_47.0-1_all.deb 17-Sep-2024 09:11 4412 gnome-shell-extension-status-icons_47.1-1_all.deb 31-Oct-2024 21:03 4418 gnome-shell-extension-system-monitor_47.0-1_all..> 17-Sep-2024 09:11 8754 gnome-shell-extension-system-monitor_47.1-1_all..> 31-Oct-2024 21:03 8762 gnome-shell-extension-user-theme_47.0-1_all.deb 17-Sep-2024 09:11 5828 gnome-shell-extension-user-theme_47.1-1_all.deb 31-Oct-2024 21:03 5828 gnome-shell-extension-window-list_47.0-1_all.deb 17-Sep-2024 09:11 15890 gnome-shell-extension-window-list_47.1-1_all.deb 31-Oct-2024 21:03 15780 gnome-shell-extension-windows-navigator_47.0-1_..> 17-Sep-2024 09:11 5850 gnome-shell-extension-windows-navigator_47.1-1_..> 31-Oct-2024 21:03 5858 gnome-shell-extension-workspace-indicator_47.0-..> 17-Sep-2024 09:11 10292 gnome-shell-extension-workspace-indicator_47.1-..> 31-Oct-2024 21:03 10294 gnome-shell-extensions-common_47.0-1_all.deb 17-Sep-2024 09:11 115710 gnome-shell-extensions-common_47.1-1_all.deb 31-Oct-2024 21:03 115772 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_44.0-1.debian.tar.xz 27-Mar-2023 17:15 9424 gnome-shell-extensions_44.0-1.dsc 27-Mar-2023 17:15 2150 gnome-shell-extensions_44.0-1_all.deb 27-Mar-2023 17:15 174664 gnome-shell-extensions_44.0.orig.tar.xz 27-Mar-2023 17:15 217536 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_47.0-1.debian.tar.xz 16-Sep-2024 23:11 12200 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 16258 gnome-shell-extensions_47.0.orig.tar.xz 16-Sep-2024 23:11 221440 gnome-shell-extensions_47.1-1.debian.tar.xz 31-Oct-2024 17:09 12264 gnome-shell-extensions_47.1-1.dsc 31-Oct-2024 17:09 3960 gnome-shell-extensions_47.1-1_all.deb 31-Oct-2024 21:03 16322 gnome-shell-extensions_47.1.orig.tar.xz 31-Oct-2024 17:09 221384
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.