Package details
Package | gedit-plugins |
---|---|
Version | 3.34.1-r1 |
Description | Plugins for gedit, the GNOME text editor |
Project | https://wiki.gnome.org/Apps/Gedit/PluginsLists |
License | GPL-2.0-only |
Branch | v3.11 |
Repository | community |
Architecture | x86 |
Size | 249.2 kB |
Installed size | 1.25 MB |
Origin | gedit-plugins |
Maintainer | Rasmus Thomsen |
Build time | 2019-12-23 14:15:30 |
Commit | e5eed0ed78e42ef0a00672ff05df35931ac0057c |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |