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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]gedit-developer-plugins_0.5.15.orig.tar.gz2019-07-08 20:25 207K
[   ]gedit-developer-plugins_0.5.15-0ubuntu1.dsc2019-07-08 20:25 2.1K
[   ]gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz2019-07-08 20:25 3.6K
[   ]gedit-developer-plugins_0.5.15-0ubuntu1_all.deb2012-06-18 17:44 37K