../ gedit-developer-plugins_0.5.15-0ubuntu1.debian...> 19-Jun-2012 00:44 3708 gedit-developer-plugins_0.5.15-0ubuntu1.dsc 19-Jun-2012 00:44 2179 gedit-developer-plugins_0.5.15-0ubuntu1_all.deb 19-Jun-2012 00:44 37K gedit-developer-plugins_0.5.15.orig.tar.gz 19-Jun-2012 00:44 207K