Index of /pool/universe/g/gnome-shell
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extension-prefs_3.36.4-1ubuntu1~20.04.2_amd64.deb
2020-08-18 11:18
6.2K
gnome-shell-extension-prefs_3.36.9-0ubuntu0.20.04.2_amd64.deb
2021-06-08 22:53
6.4K
Apache/2.4.29 (Ubuntu) Server at 34.233.183.18 Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}