../ 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-2.debian.tar.xz 31-Dec-2020 23:19 23052 jedit_5.5.0+dfsg-2.dsc 31-Dec-2020 23:19 2224 jedit_5.5.0+dfsg-2_all.deb 31-Dec-2020 23:35 2347932 jedit_5.5.0+dfsg.orig.tar.xz 23-Apr-2018 11:15 2159768