Index of /ftp/pub/linux/distributions/lip6-debian/ftp3/debian/pool/main/g/gnome-shell-extensions
Name
Last modified
Size
Description
Parent Directory
-
gnome-classic-xsession_47.1-1_all.deb
2024-10-31 10:11
11K
gnome-classic_47.1-1_all.deb
2024-10-31 10:11
11K
gnome-shell-extension-apps-menu_47.1-1_all.deb
2024-10-31 10:11
13K
gnome-shell-extension-auto-move-windows_47.1-1_all.deb
2024-10-31 10:11
11K
gnome-shell-extension-drive-menu_47.1-1_all.deb
2024-10-31 10:11
9.0K
gnome-shell-extension-launch-new-instance_47.1-1_all.deb
2024-10-31 10:11
7.6K
gnome-shell-extension-light-style_47.1-1_all.deb
2024-10-31 10:11
7.3K
gnome-shell-extension-native-window-placement_47.1-1_all.deb
2024-10-31 10:11
11K
gnome-shell-extension-places-menu_47.1-1_all.deb
2024-10-31 10:11
12K
gnome-shell-extension-screenshot-window-sizer_47.1-1_all.deb
2024-10-31 10:11
9.4K
gnome-shell-extension-status-icons_47.1-1_all.deb
2024-10-31 10:11
7.9K
gnome-shell-extension-system-monitor_47.1-1_all.deb
2024-10-31 10:11
12K
gnome-shell-extension-user-theme_47.1-1_all.deb
2024-10-31 10:11
9.3K
gnome-shell-extension-window-list_47.1-1_all.deb
2024-10-31 10:11
19K
gnome-shell-extension-windows-navigator_47.1-1_all.deb
2024-10-31 10:11
9.3K
gnome-shell-extension-workspace-indicator_47.1-1_all.deb
2024-10-31 10:11
14K
gnome-shell-extensions-common_47.1-1_all.deb
2024-10-31 10:11
100K
gnome-shell-extensions_3.30.1-1.debian.tar.xz
2018-11-02 11:42
7.2K
gnome-shell-extensions_3.30.1-1.dsc
2018-11-02 11:42
2.1K
gnome-shell-extensions_3.30.1-1_all.deb
2018-11-02 13:14
164K
gnome-shell-extensions_3.30.1.orig.tar.xz
2018-11-02 11:42
194K
gnome-shell-extensions_3.38.2-1.debian.tar.xz
2020-12-03 15:10
8.3K
gnome-shell-extensions_3.38.2-1.dsc
2020-12-03 15:10
2.3K
gnome-shell-extensions_3.38.2-1_all.deb
2020-12-03 16:01
157K
gnome-shell-extensions_3.38.2.orig.tar.xz
2020-12-03 15:10
205K
gnome-shell-extensions_43.1-1.debian.tar.xz
2022-11-22 20:28
9.1K
gnome-shell-extensions_43.1-1.dsc
2022-11-22 20:28
2.1K
gnome-shell-extensions_43.1-1_all.deb
2022-11-22 20:58
157K
gnome-shell-extensions_43.1.orig.tar.xz
2022-11-22 20:28
212K
gnome-shell-extensions_47.1-1.debian.tar.xz
2024-10-30 12:49
12K
gnome-shell-extensions_47.1-1.dsc
2024-10-30 12:49
3.9K
gnome-shell-extensions_47.1-1_all.deb
2024-10-31 10:11
19K
gnome-shell-extensions_47.1.orig.tar.xz
2024-10-30 12:49
216K
Apache/2 Server at ftp.lip6.fr Port 80