Package: gedit-plugin-terminal Architecture: amd64 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_amd64.deb Size: 17872 MD5sum: 3bc566af8cdb85d76f5f6c7c0fddbf3b SHA1: 0759b5655c583b5f94b6ed4a59b4befe9eef60af SHA256: 236524c1d8b0051aa36079a629c94d01ed9059dd5c87abf068c3254b8c5e54e9 Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins Description: Terminal plugin for gedit Description-md5: 1de88db701df9fb08311ea9d2ebeb076