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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_hurd-i386.deb                                                               31-Aug-2023 00:03    147K
gnome-shell-extension-manager_0.4.2-1_hurd-i386.buildinfo                                                                31-Aug-2023 00:03     13K
gnome-shell-extension-manager_0.4.2-1_hurd-i386.deb                                                                      31-Aug-2023 00:03    115K