Package: gedit-plugin-terminal
Architecture: i386
Version: 3.28.1-1
Priority: optional
Section: universe/gnome
Source: gedit-plugins
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 209
Depends: dconf-gsettings-backend | gsettings-backend, python3:any (>= 3.3.2-2~), gedit (>= 3.28), gedit-plugins-common (>= 3.28.1-1), gir1.2-glib-2.0, gir1.2-gtk-3.0, gir1.2-pango-1.0, gir1.2-peas-1.0, gir1.2-vte-2.91, python3-gi
Breaks: gedit-plugins (<< 3.22.0-2~)
Replaces: gedit-plugins (<< 3.22.0-2~)
Enhances: gedit
Filename: pool/universe/g/gedit-plugins/gedit-plugin-terminal_3.28.1-1_i386.deb
Size: 17848
MD5sum: 1d8a86d5c7507498268c576937a28333
SHA1: fed054665ad685e035407e998f5ab1ee73b4f42a
SHA256: 783b46ca73fcbfcef6754db7a2871fc173c43076fb961bcbd1118e8b3fcca34e
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
Description: Terminal plugin for gedit
Description-md5: 1de88db701df9fb08311ea9d2ebeb076