Index of /ubuntu/pool/universe/g/gnome-shell
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extension-prefs_3.36.1-5ubuntu1_amd64.deb
2020-04-15 18:03
5.5K
gnome-shell-extension-prefs_3.36.9-0ubuntu0.20.04.4_amd64.deb
2024-08-15 16:46
6.4K
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}