Package: gedit-plugin-terminal Architecture: amd64 Version: 46.0-2build3 Priority: optional Section: universe/gnome Source: gedit-plugins Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 217 Depends: dconf-gsettings-backend | gsettings-backend, python3:any, gedit (>= 46~), gedit (<< 47~), gedit-plugins-common (>= 46.0-2build3), 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 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_46.0-2build3_amd64.deb Size: 20560 MD5sum: fb12b136ed6f279d0a678f85af697057 SHA1: 2a7c6f2eb8bc753869b73010073ff23e09509dee SHA256: fc645e3e4c72e7a16c5a74c68bb304e4c3e45b63783cb09fdb41c18db5db700a SHA512: 00a12179a20fbcc7604be6e85a6bb8ccf77d06adb793ffa8f42b5e535b9f5b1f00a7f68443333c7c2273f2bde9f3b4ccaaf556b4d6b0321a18e95ed41aba8f09 Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins Description: Terminal plugin for gedit Description-md5: fefef9bc0b37c5b23de5f4bdd8d59ce1