Index of /mirror/ubuntu-jammy/pool/universe/g/gnome-shell-extensions

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gnome-shell-extensions_42.0-1_all.deb2022-03-15 03:19 169K 
[ ]gnome-shell-extensions_42.1-0ubuntu1_all.deb2022-05-13 14:24 167K 
Apache/2.4.58 (Ubuntu) Server at cubbli.cs.helsinki.fi Port 80