Package details
Package | gnome-shell-extensions |
---|---|
Version | 3.38.2-r0 |
Description | collection of extensions for GNOME Shell |
Project | https://wiki.gnome.org/Projects/GnomeShell/Extensions |
License | GPL-2.0-or-later |
Branch | v3.13 |
Repository | community |
Architecture | x86 |
Size | 77.1KiB |
Installed size | 672.0KiB |
Origin | gnome-shell-extensions |
Maintainer | Rasmus Thomsen |
Build time | 2020-12-06 05:46:36 |
Commit | f0b981ac22e67ab0fa4dde33884bcde4a639e4c7 | Merge request | 15354 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |