Index of /ubuntu-ports/pool/universe/g/gnome-shell/

../
gnome-shell-extension-prefs_3.36.1-5ubuntu1_arm..> 30-Aug-2023 23:18                5672
gnome-shell-extension-prefs_3.36.9-0ubuntu0.20...> 16-Aug-2024 00:10                6560
gnome-shell-extension-prefs_42.0-2ubuntu1_arm64..> 30-Aug-2023 23:18                8980
gnome-shell-extension-prefs_42.9-0ubuntu2.2_arm..> 16-Aug-2024 00:10                9180
gnome-shell-extension-prefs_46.0-0ubuntu5_arm64..> 18-Apr-2024 00:17               11250
gnome-shell-extension-prefs_46.0-0ubuntu6~24.04..> 16-Aug-2024 00:10               11264
gnome-shell-extension-prefs_46.0-0ubuntu6~24.04..> 07-Feb-2025 00:12               11258