Package: gedit-developer-plugins
Architecture: all
Version: 0.5.15-0ubuntu1
Priority: optional
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 220
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
Enhances: gedit
Filename: pool/universe/g/gedit-developer-plugins/gedit-developer-plugins_0.5.15-0ubuntu1_all.deb
Size: 38012
MD5sum: ee11dc0dd87968b64308daf5c5eae029
SHA1: 1105dc3819e3286076e5e80063c66970a79a06ec
SHA256: b01b4522d3242176ababa33d04dfd8f281388676f557cbb945e2bd67e3a516da
Homepage: https://launchpad.net/gdp
Description: A set of gedit plugins for developers
Description-md5: 273cbf28df33b6a9bf3ec9b913af77cc