Index of /ubuntu/pool/universe/g/gnome-shell-extension-manager
Name
Last modified
Size
Parent Directory
-
gnome-shell-extension-manager_0.3.0-0ubuntu1.debian.tar.xz
20-Apr-2022 13:14
3.2K
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc
20-Apr-2022 13:14
2.7K
gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb
20-Apr-2022 14:18
70K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz
13-May-2022 06:14
3.6K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc
13-May-2022 06:14
2.7K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb
13-May-2022 06:15
88K
gnome-shell-extension-manager_0.3.0.orig.tar.gz
20-Apr-2022 13:14
1.4M
gnome-shell-extension-manager_0.4.0-1.debian.tar.xz
24-Jan-2023 18:49
4.4K
gnome-shell-extension-manager_0.4.0-1.dsc
24-Jan-2023 18:49
2.4K
gnome-shell-extension-manager_0.4.0-1_amd64.deb
24-Jan-2023 18:49
79K
gnome-shell-extension-manager_0.4.0.orig.tar.gz
06-Oct-2022 13:18
1.4M
gnome-shell-extension-manager_0.4.2-1.debian.tar.xz
30-Aug-2023 12:09
4.5K
gnome-shell-extension-manager_0.4.2-1.dsc
30-Aug-2023 12:09
2.3K
gnome-shell-extension-manager_0.4.2-1_amd64.deb
30-Aug-2023 12:09
74K
gnome-shell-extension-manager_0.4.2.orig.tar.gz
30-Aug-2023 12:09
1.4M
gnome-shell-extension-manager_0.5.0-1build1.debian.tar.xz
31-Mar-2024 01:11
2.7K
gnome-shell-extension-manager_0.5.0-1build1.dsc
31-Mar-2024 01:11
2.5K
gnome-shell-extension-manager_0.5.0-1build1_amd64.deb
31-Mar-2024 13:33
159K
gnome-shell-extension-manager_0.5.0.orig.tar.gz
22-Mar-2024 19:52
2.1M
Apache/2.2.14 (Ubuntu) Server at ubuntu.cs.utah.edu Port 80