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

../
gnome-shell-extension-manager-dbgsym_0.5.1-1_hppa.deb                                                                    02-May-2024 00:03    189K
gnome-shell-extension-manager_0.5.1-1_hppa.buildinfo                                                                     02-May-2024 00:03     15K
gnome-shell-extension-manager_0.5.1-1_hppa.deb                                                                           02-May-2024 00:03    148K