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

../
gnome-shell-extension-manager-dbgsym_0.4.3-1_sh4.deb                                                                     30-Jan-2024 06:03    179K
gnome-shell-extension-manager_0.4.3-1_sh4.buildinfo                                                                      30-Jan-2024 06:03     15K
gnome-shell-extension-manager_0.4.3-1_sh4.deb                                                                            30-Jan-2024 06:03    162K