Index of /pub/linux/ubuntu/pool/universe/g/gnome-shell-extensions
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extensions_46.1-2_all.deb
2024-04-24 20:44
160K
gnome-shell-extensions_45.0-1_all.deb
2023-09-19 02:04
152K