../ jedit_5.5.0+dfsg-1.debian.tar.xz 22-Apr-2018 16:55 23012 jedit_5.5.0+dfsg-1.dsc 22-Apr-2018 16:55 2262 jedit_5.5.0+dfsg-1_all.deb 22-Apr-2018 16:55 2351176 jedit_5.5.0+dfsg.orig.tar.xz 22-Apr-2018 16:55 2159768