Package details
Package | gnome-shell-extensions |
---|---|
Version | 41.0-r0 |
Description | collection of extensions for GNOME Shell |
Project | https://wiki.gnome.org/Projects/GnomeShell/Extensions |
License | GPL-2.0-or-later |
Branch | v3.15 |
Repository | community |
Architecture | armv7 |
Size | 80.2KiB |
Installed size | 664.0KiB |
Origin | gnome-shell-extensions |
Maintainer | Rasmus Thomsen |
Build time | 2021-11-02 20:30:02 |
Commit | 88bbdc2b951dfbd171e621a21d1888ea9173425d | Merge request | 26028 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |