This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.de
../ gedit-developer-plugins_0.5.15-0ubuntu1.debian...> 18-Jun-2012 15:44 3708 gedit-developer-plugins_0.5.15-0ubuntu1.dsc 18-Jun-2012 15:44 2179 gedit-developer-plugins_0.5.15-0ubuntu1_all.deb 18-Jun-2012 15:44 38012 gedit-developer-plugins_0.5.15.orig.tar.gz 18-Jun-2012 15:44 211798