Package: gedit-developer-plugins Priority: optional Section: universe/gnome Installed-Size: 220 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Architecture: all Version: 0.5.15-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.15-0ubuntu1_all.deb Size: 38012 MD5sum: ee11dc0dd87968b64308daf5c5eae029 SHA1: 1105dc3819e3286076e5e80063c66970a79a06ec SHA256: b01b4522d3242176ababa33d04dfd8f281388676f557cbb945e2bd67e3a516da 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