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

../
gnome-shell-extension-manager-dbgsym_0.4.0-1+b1..> 15-May-2026 14:31              191684
gnome-shell-extension-manager-dbgsym_0.4.0-1_ri..> 26-May-2024 03:57              179444
gnome-shell-extension-manager_0.4.0-1+b1_riscv6..> 15-May-2026 14:31               15780
gnome-shell-extension-manager_0.4.0-1+b1_riscv6..> 15-May-2026 14:31              100968
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