Index of /ubuntu/pool/universe/g/gnome-shell-extension-manager
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extension-manager_0.4.0.orig.tar.gz
2022-10-07 00:48
1.4M
gnome-shell-extension-manager_0.3.0.orig.tar.gz
2022-04-21 00:44
1.4M
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb
2022-05-13 17:45
88K
gnome-shell-extension-manager_0.4.0-0ubuntu1_amd64.deb
2022-10-07 00:49
79K
gnome-shell-extension-manager_0.4.0-1_amd64.deb
2023-01-25 07:19
79K
gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb
2022-04-21 01:48
70K
gnome-shell-extension-manager_0.4.0-0ubuntu1.debian.tar.xz
2022-10-07 00:48
4.5K
gnome-shell-extension-manager_0.4.0-1.debian.tar.xz
2023-01-25 07:19
4.4K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz
2022-05-13 17:44
3.6K
gnome-shell-extension-manager_0.3.0-0ubuntu1.debian.tar.xz
2022-04-21 00:44
3.2K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc
2022-05-13 17:44
2.7K
gnome-shell-extension-manager_0.4.0-0ubuntu1.dsc
2022-10-07 00:48
2.7K
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc
2022-04-21 00:44
2.7K
gnome-shell-extension-manager_0.4.0-1.dsc
2023-01-25 07:19
2.4K
Apache/2.4.58 (Ubuntu) Server at ftp.iitm.ac.in Port 443