Package details
Package | gnome-shell-extensions |
---|---|
Version | 3.36.2-r0 |
Description | A collection of extensions for GNOME Shell |
Project | https://wiki.gnome.org/Projects/GnomeShell/Extensions |
License | GPL-2.0-or-later |
Branch | v3.12 |
Repository | community |
Architecture | armv7 |
Size | 77.8KiB |
Installed size | 668.0KiB |
Origin | gnome-shell-extensions |
Maintainer | Rasmus Thomsen |
Build time | 2020-04-30 15:09:01 |
Commit | d2a06fd0cfc521f1e40db8c289cd532c2769acc0 | Merge request | 7372 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |