../ jedit_5.5.0+dfsg-1.debian.tar.xz 25-Aug-2023 22:45 23012 jedit_5.5.0+dfsg-1.dsc 25-Aug-2023 22:45 2262 jedit_5.5.0+dfsg-1_all.deb 25-Aug-2023 22:45 2348244 jedit_5.5.0+dfsg-2.debian.tar.xz 27-Aug-2023 04:05 23052 jedit_5.5.0+dfsg-2.dsc 27-Aug-2023 04:05 2224 jedit_5.5.0+dfsg-2_all.deb 27-Aug-2023 04:05 2347932 jedit_5.5.0+dfsg.orig.tar.xz 25-Aug-2023 22:45 2159768