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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_ia64.deb                                                                    30-Aug-2023 18:03    192K
gnome-shell-extension-manager_0.4.2-1_ia64.buildinfo                                                                     30-Aug-2023 18:03     15K
gnome-shell-extension-manager_0.4.2-1_ia64.deb                                                                           30-Aug-2023 18:03    121K