| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: gnome-shell-extensions-workspace-indicator | Distribution: OpenMandriva Lx |
| Version: 49.0 | Vendor: OpenMandriva |
| Release: 1 | Build date: Wed Sep 17 01:16:42 2025 |
| Group: Graphical desktop/GNOME | Build host: ph18-3.openmandriva.org |
| Size: 32203 | Source RPM: gnome-shell-extensions-49.0-1.src.rpm |
| Packager: angrypenguin <angrypenguinpoland@gmail.com> | |
| Url: https://live.gnome.org/GnomeShell/Extensions | |
| Summary: A menu for changing workspace | |
A menu for changing workspace.
GPLv2+
/usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/extension.js /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/metadata.json /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/prefs.js /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/stylesheet-dark.css /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/stylesheet-light.css /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/workspaceIndicator.js /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com/workspacePrefs.js
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 23 22:03:08 2025