Package: gedit-developer-plugins Priority: optional Section: universe/gnome Installed-Size: 224 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Architecture: all Version: 0.5.14-0ubuntu1 Depends: python (>= 2.7.1-0ubuntu2), python-gi (>= 3.0.0), gir1.2-glib-2.0 (>= 1.30.0), gir1.2-gtk-3.0 (>= 3.2.0), gedit (>= 3.2.0), python-pocket-lint (>= 0.5.23) Recommends: bzr, bzr-gtk, python-cssutils Filename: pool/universe/g/gedit-developer-plugins/gedit-developer-plugins_0.5.14-0ubuntu1_all.deb Size: 38012 MD5sum: a6bf1311b3933509cfeafa26009c610b SHA1: 6c759e637c4d912bce38df7f8998034efc8a7995 SHA256: 409f8253a66567672dad85cd8e6d1be925b0821ffb64d9f62f003564d35bfe53 Description: A set of gedit plugins for developers Enhances: gedit Homepage: https://launchpad.net/gdp Description-md5: 273cbf28df33b6a9bf3ec9b913af77cc Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu