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

../
gnome-shell-extension-manager_0.3.0-0ubuntu1.de..> 30-Aug-2023 23:18                3320
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc   30-Aug-2023 23:18                2736
gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 30-Aug-2023 23:18               69450
gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> 30-Aug-2023 23:18                3648
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 30-Aug-2023 23:18                2744
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 30-Aug-2023 23:18               88414
gnome-shell-extension-manager_0.3.0.orig.tar.gz    30-Aug-2023 23:18             1431028
gnome-shell-extension-manager_0.5.0-1build1.deb..> 04-Apr-2024 00:15                2724
gnome-shell-extension-manager_0.5.0-1build1.dsc    04-Apr-2024 00:15                2534
gnome-shell-extension-manager_0.5.0-1build1_arm..> 04-Apr-2024 00:15              161160
gnome-shell-extension-manager_0.5.0.orig.tar.gz    30-Mar-2024 00:19             2246539