Index of /ubuntu/pool/universe/g/gedit-developer-plugins

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 gedit-developer-plugins_0.5.15-0ubuntu1.dsc           2012-06-18 20:14  2.1K  
 gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz 2012-06-18 20:14  3.6K  
 gedit-developer-plugins_0.5.15-0ubuntu1_all.deb       2012-06-18 20:14   37K  
 gedit-developer-plugins_0.5.15.orig.tar.gz            2012-06-18 20:14  207K