../ gedit-developer-plugins_0.5.15-0ubuntu1.debian...> 13-Sep-2026 23:07 3708 gedit-developer-plugins_0.5.15-0ubuntu1.dsc 13-Sep-2026 23:07 2179 gedit-developer-plugins_0.5.15-0ubuntu1_all.deb 13-Sep-2026 23:07 37K gedit-developer-plugins_0.5.15.orig.tar.gz 13-Sep-2026 23:07 207K