Index of /nova/pool/principal/g/gnome-shell-extensions-nova/

../
gnome-shell-extension-add-to-desktop_0.9-1nova6..> 08-Jul-2021 18:53               17564
gnome-shell-extension-coverflow-alt-tab_0.9-1no..> 16-May-2023 13:23               19554
gnome-shell-extension-coverflow-alt-tab_0.9-1no..> 08-Jul-2021 18:53               24544
gnome-shell-extension-dash-to-panel-nova_0.9-1n..> 16-May-2023 13:23              190896
gnome-shell-extension-dash-to-panel-nova_0.9-1n..> 08-Jul-2021 18:53              178776
gnome-shell-extension-removable-drive-status_0...> 16-May-2023 13:23                5674
gnome-shell-extension-removable-drives-status_0..> 08-Jul-2021 18:53                5552
gnome-shell-extension-user-widget_0.9-1nova6_al..> 08-Jul-2021 18:53                6136
gnome-shell-extensions-nova_0.9-1nova11.dsc        16-May-2023 13:18                1248
gnome-shell-extensions-nova_0.9-1nova11.tar.xz     16-May-2023 13:18              200936
gnome-shell-extensions-nova_0.9-1nova6.dsc         08-Jul-2021 18:53                1350
gnome-shell-extensions-nova_0.9-1nova6.tar.xz      08-Jul-2021 18:53            20658364