Index of /pool/main/g/gnome-shell-extension-manager
Name
Last modified
Size
Parent Directory
-
gnome-shell-extension-manager_0.4.0-1.debian.tar.xz
24-Jan-2023 19:11
4.4K
gnome-shell-extension-manager_0.4.0-1.dsc
24-Jan-2023 19:11
2.4K
gnome-shell-extension-manager_0.4.0-1_amd64.deb
24-Jan-2023 19:56
107K
gnome-shell-extension-manager_0.4.0-1_arm64.deb
24-Jan-2023 19:56
104K
gnome-shell-extension-manager_0.4.0-1_armhf.deb
24-Jan-2023 19:56
99K
gnome-shell-extension-manager_0.4.0-1_i386.deb
24-Jan-2023 19:46
112K
gnome-shell-extension-manager_0.4.0.orig.tar.gz
24-Jan-2023 19:11
1.4M
gnome-shell-extension-manager_0.6.0-1.debian.tar.xz
14-Dec-2024 14:14
2.8K
gnome-shell-extension-manager_0.6.0-1.dsc
14-Dec-2024 14:14
2.4K
gnome-shell-extension-manager_0.6.0-1_amd64.deb
14-Dec-2024 14:34
171K
gnome-shell-extension-manager_0.6.0-1_arm64.deb
14-Dec-2024 14:39
162K
gnome-shell-extension-manager_0.6.0-1_armhf.deb
14-Dec-2024 14:34
156K
gnome-shell-extension-manager_0.6.0-1_i386.deb
14-Dec-2024 14:34
178K
gnome-shell-extension-manager_0.6.0-1_riscv64.deb
14-Dec-2024 20:32
167K
gnome-shell-extension-manager_0.6.0.orig.tar.gz
14-Dec-2024 14:14
2.3M
![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}