Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/g/gnome-shell/

../
gnome-shell-extension-prefs_42.0-2ubuntu1_arm64..> 13-Apr-2022 08:14    8980
gnome-shell-extension-prefs_42.9-0ubuntu2.2_arm..> 15-Aug-2024 13:47    9180
gnome-shell-extension-prefs_42.9-0ubuntu2.3_arm..> 28-Mar-2025 14:33    9166
gnome-shell-extension-prefs_46.0-0ubuntu6~24.04..> 12-Dec-2025 19:43     11K
gnome-shell-extension-prefs_46.0-0ubuntu6~24.04..> 15-Aug-2024 13:48     11K