Package details
Package gedit-plugins-doc
Version 40.1-r0
Description Plugins for gedit, the GNOME text editor (documentation)
Project https://wiki.gnome.org/Apps/Gedit/PluginsLists
License GPL-2.0-only
Branch v3.15
Repository community
Architecture aarch64
Size 263.6KiB
Installed size 2.4MiB
Origin gedit-plugins
Maintainer Rasmus Thomsen
Build time 2021-07-02 15:40:22
Commit d3997368228fbb05c4ac7d84af90c575d3776770
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)