../ gedit-developer-plugins_0.5.15-0ubuntu1.debian...> 10-Jun-2020 12:28 3708 gedit-developer-plugins_0.5.15-0ubuntu1.dsc 10-Jun-2020 12:28 2179 gedit-developer-plugins_0.5.15-0ubuntu1_all.deb 10-Jun-2020 09:09 38012 gedit-developer-plugins_0.5.15.orig.tar.gz 10-Jun-2020 12:28 211798