NameLast modifiedSize
(File)
gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb
April 21, 2022 3:18 AM
70K
(File)
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb
May 13, 2022 7:15 PM
88K
(File)
gnome-shell-extension-manager_0.5.0-1build1_amd64.deb
April 1, 2024 2:33 AM
159K
(File)
gnome-shell-extension-manager_0.6.3-1_amd64.deb
April 8, 2025 6:28 AM
188K