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