Index of /debian-ports/pool-sh4/main/g/gnome-shell-extension-manager/

../
gnome-shell-extension-manager-dbgsym_0.4.3-1_sh..> 30-Jan-2024 15:03    179K
gnome-shell-extension-manager_0.4.3-1_sh4.build..> 30-Jan-2024 15:03     15K
gnome-shell-extension-manager_0.4.3-1_sh4.deb      30-Jan-2024 15:03    162K