/debian-ports/pool/main/g/gnome-shell-extensions/

0 directories 17 files 270 KiB total
List Grid
Name
Size Modified
Up
gnome-classic_51.0-2_all.deb
9.8 KiB
gnome-shell-extension-apps-menu_51.0-2_all.deb
11 KiB
gnome-shell-extension-auto-move-windows_51.0-2_all.deb
9.7 KiB
gnome-shell-extension-drive-menu_51.0-2_all.deb
7.7 KiB
gnome-shell-extension-launch-new-instance_51.0-2_all.deb
6.2 KiB
gnome-shell-extension-light-style_51.0-2_all.deb
6.0 KiB
gnome-shell-extension-native-window-placement_51.0-2_all.deb
9.5 KiB
gnome-shell-extension-places-menu_51.0-2_all.deb
10 KiB
gnome-shell-extension-screenshot-window-sizer_51.0-2_all.deb
8.0 KiB
gnome-shell-extension-status-icons_51.0-2_all.deb
6.6 KiB
gnome-shell-extension-system-monitor_51.0-2_all.deb
11 KiB
gnome-shell-extension-user-theme_51.0-2_all.deb
7.9 KiB
gnome-shell-extension-window-list_51.0-2_all.deb
21 KiB
gnome-shell-extension-windows-navigator_51.0-2_all.deb
8.0 KiB
gnome-shell-extension-workspace-indicator_51.0-2_all.deb
13 KiB
gnome-shell-extensions-common_51.0-2_all.deb
119 KiB
gnome-shell-extensions_51.0-2_all.deb
5.5 KiB