../ jedit_5.3.0+dfsg-1.debian.tar.xz 04-Jan-2016 11:19 22420 jedit_5.3.0+dfsg-1.dsc 04-Jan-2016 11:19 2250 jedit_5.3.0+dfsg-1_all.deb 04-Jan-2016 11:56 2276114 jedit_5.3.0+dfsg.orig.tar.xz 04-Jan-2016 11:19 2108504 jedit_5.5.0+dfsg-1.debian.tar.xz 23-Apr-2018 11:15 23012 jedit_5.5.0+dfsg-1.dsc 23-Apr-2018 11:15 2262 jedit_5.5.0+dfsg-1_all.deb 23-Apr-2018 11:16 2348244 jedit_5.5.0+dfsg.orig.tar.xz 23-Apr-2018 11:15 2159768