Index of /ubuntu/pool/universe/j/jedit/

../
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