Package: gedit-plugin-terminal
Architecture: amd64
Version: 3.36.2-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: 212
Depends: dconf-gsettings-backend | gsettings-backend, python3:any, gedit (>= 3.36), gedit (<< 3.37), gedit-plugins-common (>= 3.36.2-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.36.2-1_amd64.deb
Size: 16092
MD5sum: 0b612ac975271c2916151f17a0854941
SHA1: 3bf08f1bf22f60f49ebac1e812b31df25fad5786
SHA256: a5c67dd8a9f94d6d1ba7a333debc921b8f66296ade547ea1c6826463b7d1f9e2
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
Description: Terminal plugin for gedit
Description-md5: 1de88db701df9fb08311ea9d2ebeb076