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.

Index of /debian/pool/main/g/gnome-shell-extensions/


../
gnome-classic-xsession_48.0-1_all.deb              17-Mar-2025 15:06               11012
gnome-classic_48.0-1_all.deb                       17-Mar-2025 15:06               11816
gnome-shell-extension-apps-menu_48.0-1_all.deb     17-Mar-2025 15:06               13036
gnome-shell-extension-auto-move-windows_48.0-1_..> 17-Mar-2025 15:06               11420
gnome-shell-extension-drive-menu_48.0-1_all.deb    17-Mar-2025 15:06                9392
gnome-shell-extension-launch-new-instance_48.0-..> 17-Mar-2025 15:06                7900
gnome-shell-extension-light-style_48.0-1_all.deb   17-Mar-2025 15:06                7644
gnome-shell-extension-native-window-placement_4..> 17-Mar-2025 15:06               11240
gnome-shell-extension-places-menu_48.0-1_all.deb   17-Mar-2025 15:06               12172
gnome-shell-extension-screenshot-window-sizer_4..> 17-Mar-2025 15:06                9784
gnome-shell-extension-status-icons_48.0-1_all.deb  17-Mar-2025 15:06                8264
gnome-shell-extension-system-monitor_48.0-1_all..> 17-Mar-2025 15:06               12484
gnome-shell-extension-user-theme_48.0-1_all.deb    17-Mar-2025 15:06                9568
gnome-shell-extension-window-list_48.0-1_all.deb   17-Mar-2025 15:06               22452
gnome-shell-extension-windows-navigator_48.0-1_..> 17-Mar-2025 15:06                9616
gnome-shell-extension-workspace-indicator_48.0-..> 17-Mar-2025 15:06               13600
gnome-shell-extensions-common_48.0-1_all.deb       17-Mar-2025 15:06              104624
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              168020
gnome-shell-extensions_3.30.1.orig.tar.xz          02-Nov-2018 10:42              198652
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              160972
gnome-shell-extensions_3.38.2.orig.tar.xz          03-Dec-2020 14:10              209904
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              161140
gnome-shell-extensions_43.1.orig.tar.xz            22-Nov-2022 19:28              217552
gnome-shell-extensions_48.0-1.debian.tar.xz        17-Mar-2025 14:25               12396
gnome-shell-extensions_48.0-1.dsc                  17-Mar-2025 14:25                3982
gnome-shell-extensions_48.0-1_all.deb              17-Mar-2025 15:06               21056
gnome-shell-extensions_48.0.orig.tar.xz            17-Mar-2025 14:25              230932

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.