ftp.ntua.gr:/debian/pool/main/j/jedit/

 Name                             Last modified      Size  
 Parent Directory                                      -   
 jedit_5.1.0+dfsg-2.debian.tar.xz 13-Oct-2014 13:35   22K  
 jedit_5.1.0+dfsg-2.dsc           13-Oct-2014 13:35  2.2K  
 jedit_5.1.0+dfsg-2_all.deb       13-Oct-2014 13:35  2.1M  
 jedit_5.1.0+dfsg.orig.tar.xz     21-Oct-2013 07:42  1.8M  
 jedit_5.3.0+dfsg-1.debian.tar.xz 04-Jan-2016 06:47   22K  
 jedit_5.3.0+dfsg-1.dsc           04-Jan-2016 06:47  2.2K  
 jedit_5.3.0+dfsg-1_all.deb       04-Jan-2016 06:47  2.2M  
 jedit_5.3.0+dfsg.orig.tar.xz     04-Jan-2016 06:47  2.0M  
 jedit_5.5.0+dfsg-1.debian.tar.xz 22-Apr-2018 19:55   22K  
 jedit_5.5.0+dfsg-1.dsc           22-Apr-2018 19:55  2.2K  
 jedit_5.5.0+dfsg-1_all.deb       22-Apr-2018 19:55  2.2M  
 jedit_5.5.0+dfsg-2.debian.tar.xz 31-Dec-2020 19:18   23K  
 jedit_5.5.0+dfsg-2.dsc           31-Dec-2020 19:18  2.2K  
 jedit_5.5.0+dfsg-2_all.deb       31-Dec-2020 19:49  2.2M  
 jedit_5.5.0+dfsg.orig.tar.xz     22-Apr-2018 19:55  2.1M  

Apache/2.2 Server at debian.noc.ntua.gr Port 80