Package: gedit-plugin-terminal
Architecture: amd64
Version: 41.0-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: 216
Depends: dconf-gsettings-backend | gsettings-backend, python3:any, gedit (>= 41), gedit (<< 42), gedit-plugins-common (>= 41.0-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_41.0-1_amd64.deb
Size: 19318
MD5sum: a569979a32d7914264c8eaf7e84109e2
SHA1: 9565e35a14b54aad527bfe1f0ec60bfebc9d5b8a
SHA256: 2320bf4661c19f435ff5274cc98caf74d36d2113b116a3a99fe34f42ab198d73
SHA512: 0b876a335ce00f2aeec8283ad3aef95728ab067796c9697bfe9969ecf5ea64d426f9e9bc1762b07bb7f3f2e9ab097506b17b6d65d67d530679b0780b8573a695
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
Description: Terminal plugin for gedit
Description-md5: 1de88db701df9fb08311ea9d2ebeb076