Gedit Developer Plugins

PPA description

Packages for gedit, plugins, and python. And some tomboy additions because I use it every day.

Adding this PPA to your system

You can update your system with unsupported packages from this untrusted PPA by adding ppa:sinzui/ppa to your system's Software Sources. (Read about installing)

sudo add-apt-repository ppa:sinzui/ppa
sudo apt-get update
        
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

Display sources.list entries for:
deb http://ppa.launchpad.net/sinzui/ppa/ubuntu YOUR_UBUNTU_VERSION_HERE main 
deb-src http://ppa.launchpad.net/sinzui/ppa/ubuntu YOUR_UBUNTU_VERSION_HERE main 
Signing key:
1024R/045F08BC (What is this?)
Fingerprint:
7815657C5F8D75320FC55023AC23FF68045F08BC

For questions and bugs with software in this PPA please contact Curtis Hovey.

PPA statistics

Activity
0 updates added during the past month.
View package details

Overview of published packages

131 of 31 results
Package Version Uploaded by
gedit-class-browser 0.2.1-0ubuntu0+200912312043 Curtis Hovey (2010-05-05)
gedit-class-browser 0.2.1-0ubuntu0+200912312043 Curtis Hovey (2009-12-31)
gedit-class-browser 0.2.1-0ubuntu0+200912312043 Curtis Hovey (2009-12-31)
gedit-developer-plugins 1.1.0+661-0~gdp~ubuntu13.10.1 Curtis Hovey (2016-03-28)
gedit-developer-plugins 1.1.0+661-0~gdp~ubuntu13.10.1 Curtis Hovey (2014-03-10)
gedit-developer-plugins 1.1.0+661-0~gdp~ubuntu13.10.1 Curtis Hovey (2013-10-19)
gedit-developer-plugins 1.1.0-1gdp391~raring1 Curtis Hovey (2013-05-10)
gedit-developer-plugins 0.5.15-1gdp389~quantal1 Curtis Hovey (2012-08-27)
gedit-developer-plugins 0.5.15-1gdp389~precise1 Curtis Hovey (2012-08-27)
gedit-developer-plugins 0.5.8-0ppa371~oneiric1 Curtis Hovey (2012-01-29)
gedit-developer-plugins 0.4.6-0ppa55~natty1 Curtis Hovey (2011-04-15)
gedit-developer-plugins 0.4.3-0ppa0 Curtis Hovey (2010-09-04)
gedit-developer-plugins 0.4.3-0ppa0 Curtis Hovey (2010-08-01)
gedit-developer-plugins 0.3.1-0ubuntu0 Curtis Hovey (2009-11-30)
html5-browser 0.0.9-0~29~precise1 Curtis Hovey (2012-08-27)
html5-browser 0.0.9-0~29~precise1 Curtis Hovey (2012-03-05)
html5-browser 0.0.9-0~29~oneiric1 Curtis Hovey (2012-03-05)
html5-browser 0.0.9-0~28~natty1 Curtis Hovey (2012-02-08)
html5-browser 0.0.9-0~27~lucid1 Curtis Hovey (2011-10-17)
pocket-lint 1.4.4+452-0~gdp~ubuntu14.04.1 Curtis Hovey (2016-03-28)
pocket-lint 1.4.4+452-0~gdp~ubuntu14.04.1 Curtis Hovey (2014-04-05)
pocket-lint 1.4.3.1-0gdp437~ubuntu13.10.1 Curtis Hovey (2013-10-26)
pocket-lint 1.4.2+503-0~gdp~precise1 Curtis Hovey (2013-10-19)
pocket-lint 1.4.2-0gdp421~raring1 Curtis Hovey (2013-05-10)
pocket-lint 1.4.1-0gdp419~quantal1 Curtis Hovey (2013-03-29)
pocket-lint 0.5.31-0gdp416~oneiric1 Curtis Hovey (2012-06-16)
pocket-lint 0.5.31-0gdp416~natty1 Curtis Hovey (2012-06-16)
pocket-lint 0.5.31-0gdp416~lucid1 Curtis Hovey (2012-06-16)
pocket-lint 0.5.30-0gdp415~maverick1 Curtis Hovey (2012-02-09)
pocket-lint 0.1.0-0ppa0 Curtis Hovey (2010-06-29)
tomboy-blogposter 0.4.4-2ubunutu0 Curtis Hovey (2010-05-12)
131 of 31 results

Latest updates

  • pocket-lint 47 weeks ago
    Successfully built
  • gedit-developer-plugins 47 weeks ago
    Successfully built
  • pocket-lint 150 weeks ago
    Successfully built
  • gedit-developer-plugins 154 weeks ago
    Successfully built
  • pocket-lint 173 weeks ago
    Successfully built