| Paketname | gedit-developer-plugins |
| Beschreibung | A set of gedit plugins for developers |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.5.14-0ubuntu1 |
| Sektion | universe/gnome |
| Priorität | optional |
| Installierte Größe | 224 Byte |
| Hängt ab von | python (>= 2.7.1-0ubuntu2), python-gi (>= 3.0.0), gir1.2-glib-2.0 (>= 1.30.0), gir1.2-gtk-3.0 (>= 3. |
| Empfohlene Pakete | bzr, bzr-gtk, python-cssutils |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 38012 Byte |
| Prüfsumme MD5 | a6bf1311b3933509cfeafa26009c610b |
| Prüfsumme SHA1 | 6c759e637c4d912bce38df7f8998034efc8a7995 |
| Prüfsumme SHA256 | 409f8253a66567672dad85cd8e6d1be925b0821ffb64d9f62f003564d35bfe53 |
| Link zum Herunterladen | gedit-developer-plugins_0.5.14-0ubuntu1_all.deb |
| Ausführliche Beschreibung | |