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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_al..> 31-Aug-2023 15:03    188K
gnome-shell-extension-manager_0.4.2-1_alpha.bui..> 31-Aug-2023 15:03     15K
gnome-shell-extension-manager_0.4.2-1_alpha.deb    31-Aug-2023 15:03    114K