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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_hu..> 31-Aug-2023 09:03    147K
gnome-shell-extension-manager_0.4.2-1_hurd-i386..> 31-Aug-2023 09:03     13K
gnome-shell-extension-manager_0.4.2-1_hurd-i386..> 31-Aug-2023 09:03    115K