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

../
gnome-shell-extension-manager_0.4.0-1.debian.ta..> 14-Jun-2023 14:00    4536
gnome-shell-extension-manager_0.4.0-1.dsc          14-Jun-2023 14:00    2421
gnome-shell-extension-manager_0.4.0-1_amd64.deb    14-Jun-2023 20:52    107K
gnome-shell-extension-manager_0.4.0-1_arm64.deb    14-Jun-2023 20:52    104K
gnome-shell-extension-manager_0.4.0.orig.tar.gz    14-Jun-2023 14:00      1M
gnome-shell-extension-manager_0.6.3-2.debian.ta..> 13-May-2025 19:26    3052
gnome-shell-extension-manager_0.6.3-2.dsc          13-May-2025 19:26    2425
gnome-shell-extension-manager_0.6.3-2_amd64.deb    13-May-2025 19:30    178K
gnome-shell-extension-manager_0.6.3-2_arm64.deb    13-May-2025 19:30    170K
gnome-shell-extension-manager_0.6.3.orig.tar.gz    13-Apr-2025 07:03      2M