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

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] gedit-developer-plugins_0.5.15-0ubuntu1_all.deb 2012-06-18 17:44 37K [   ] gedit-developer-plugins_0.5.15.orig.tar.gz 2012-06-18 17:44 207K [   ] gedit-developer-plugins_0.5.15-0ubuntu1.dsc 2012-06-18 17:44 2.1K [   ] gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz 2012-06-18 17:44 3.6K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443