../ gedit-plugins_3.20.0-1.debian.tar.xz 17-Apr-2016 22:30 6428 gedit-plugins_3.20.0-1.dsc 17-Apr-2016 22:30 2534 gedit-plugins_3.20.0-1_mips64el.deb 20-Apr-2016 16:09 548K gedit-plugins_3.20.0-1_mipsel.deb 20-Apr-2016 09:02 549K gedit-plugins_3.20.0.orig.tar.xz 17-Apr-2016 22:30 1M