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

../
gnome-shell-extension-manager-dbgsym_0.5.1-2_hp..> 12-Jun-2024 18:03              193368
gnome-shell-extension-manager_0.5.1-2_hppa.buil..> 12-Jun-2024 18:03               15143
gnome-shell-extension-manager_0.5.1-2_hppa.deb     12-Jun-2024 18:03              152424