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

../
gnome-shell-extension-manager-dbgsym_0.5.1-2_sh..> 12-Jun-2024 18:03              188900
gnome-shell-extension-manager_0.5.1-2_sh4.build..> 12-Jun-2024 18:03               15278
gnome-shell-extension-manager_0.5.1-2_sh4.deb      12-Jun-2024 18:03              159760