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

../
gnome-shell-extension-manager-dbgsym_0.4.2-1_alpha.deb                                                                   31-Aug-2023 06:03    188K
gnome-shell-extension-manager_0.4.2-1_alpha.buildinfo                                                                    31-Aug-2023 06:03     15K
gnome-shell-extension-manager_0.4.2-1_alpha.deb                                                                          31-Aug-2023 06:03    114K