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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_x3..> 31-Aug-2023 03:03    180K
gnome-shell-extension-manager_0.4.2-1_x32.build..> 31-Aug-2023 03:03     15K
gnome-shell-extension-manager_0.4.2-1_x32.deb      31-Aug-2023 03:03    111K