Information about "gedit-plugin-terminal"
gedit-plugin-terminal
Terminal plugin for gedit
48.1-2
gnome
Debian GNOME Maintainers <[email protected]>
gedit (<< 49~), gedit (>= 48~), gedit-plugins-common (>= 48.1-2), gir1.2-glib-2.0, gir1.2-gtk-3.0, gir1.2-pango-1.0, gir1.2-peas-1.0, gir1.2-tepl-6, gir1.2-vte-2.91, python3-gi, dconf-gsettings-backend | gsettings-backend, python3:any
None
None
None
gedit-plugins (<< 3.22.0-2~)
None
pool/main/g/gedit-plugins/gedit-plugin-terminal_48.1-2_amd64.deb