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

../
gnome-shell-extension-manager-dbgsym_0.5.1-2_pp..> 12-Jun-2024 18:03              200636
gnome-shell-extension-manager_0.5.1-2_ppc64.bui..> 12-Jun-2024 18:03               15498
gnome-shell-extension-manager_0.5.1-2_ppc64.deb    12-Jun-2024 18:03              154624