Index of /pool/main/g/gnome-shell-extension-manager/

../
gnome-shell-extension-manager-dbgsym_0.4.0-1_ri..> 26-May-2024 03:57              179444
gnome-shell-extension-manager_0.4.0-1.debian.ta..> 08-May-2024 15:14                4536
gnome-shell-extension-manager_0.4.0-1.dsc          08-May-2024 15:14                2421
gnome-shell-extension-manager_0.4.0-1_riscv64.deb  26-May-2024 03:57              105252
gnome-shell-extension-manager_0.4.0.orig.tar.gz    08-May-2024 15:14             1476951