Index of /debian/pool/main/g/gnome-shell-extensions
Name Last modified Size Description
Parent Directory -
gnome-classic-xsession_48~rc-1_all.deb 03-Mar-2025 19:00 11K
gnome-classic_48~rc-1_all.deb 03-Mar-2025 19:00 12K
gnome-shell-extension-apps-menu_48~rc-1_all.deb 03-Mar-2025 19:00 13K
gnome-shell-extension-auto-move-windows_48~rc-1_all.deb 03-Mar-2025 19:00 11K
gnome-shell-extension-drive-menu_48~rc-1_all.deb 03-Mar-2025 19:00 9.2K
gnome-shell-extension-launch-new-instance_48~rc-1_all.deb 03-Mar-2025 19:00 7.7K
gnome-shell-extension-light-style_48~rc-1_all.deb 03-Mar-2025 19:00 7.5K
gnome-shell-extension-native-window-placement_48~rc-1_all.deb 03-Mar-2025 19:00 11K
gnome-shell-extension-places-menu_48~rc-1_all.deb 03-Mar-2025 19:00 12K
gnome-shell-extension-screenshot-window-sizer_48~rc-1_all.deb 03-Mar-2025 19:00 9.5K
gnome-shell-extension-status-icons_48~rc-1_all.deb 03-Mar-2025 19:00 8.1K
gnome-shell-extension-system-monitor_48~rc-1_all.deb 03-Mar-2025 19:00 12K
gnome-shell-extension-user-theme_48~rc-1_all.deb 03-Mar-2025 19:00 9.3K
gnome-shell-extension-window-list_48~rc-1_all.deb 03-Mar-2025 19:00 22K
gnome-shell-extension-windows-navigator_48~rc-1_all.deb 03-Mar-2025 19:00 9.4K
gnome-shell-extension-workspace-indicator_48~rc-1_all.deb 03-Mar-2025 19:00 13K
gnome-shell-extensions-common_48~rc-1_all.deb 03-Mar-2025 19:00 102K
gnome-shell-extensions_3.30.1-1.debian.tar.xz 02-Nov-2018 11:42 7.2K
gnome-shell-extensions_3.30.1-1.dsc 02-Nov-2018 11:42 2.1K
gnome-shell-extensions_3.30.1-1_all.deb 02-Nov-2018 13:14 164K
gnome-shell-extensions_3.30.1.orig.tar.xz 02-Nov-2018 11:42 194K
gnome-shell-extensions_3.38.2-1.debian.tar.xz 03-Dec-2020 15:10 8.3K
gnome-shell-extensions_3.38.2-1.dsc 03-Dec-2020 15:10 2.3K
gnome-shell-extensions_3.38.2-1_all.deb 03-Dec-2020 16:01 157K
gnome-shell-extensions_3.38.2.orig.tar.xz 03-Dec-2020 15:10 205K
gnome-shell-extensions_43.1-1.debian.tar.xz 22-Nov-2022 20:28 9.1K
gnome-shell-extensions_43.1-1.dsc 22-Nov-2022 20:28 2.1K
gnome-shell-extensions_43.1-1_all.deb 22-Nov-2022 20:58 157K
gnome-shell-extensions_43.1.orig.tar.xz 22-Nov-2022 20:28 212K
gnome-shell-extensions_48~rc-1.debian.tar.xz 03-Mar-2025 18:44 12K
gnome-shell-extensions_48~rc-1.dsc 03-Mar-2025 18:44 3.9K
gnome-shell-extensions_48~rc-1_all.deb 03-Mar-2025 19:00 20K
gnome-shell-extensions_48~rc.orig.tar.xz 03-Mar-2025 18:44 226K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80