Index of /debian/pool/main/j/jedit

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 jedit_5.5.0+dfsg.orig.tar.xz     2018-04-22 19:55  2.1M  
 jedit_5.5.0+dfsg-2_all.deb       2020-12-31 19:49  2.2M  
 jedit_5.5.0+dfsg-2.dsc           2020-12-31 19:18  2.2K  
 jedit_5.5.0+dfsg-2.debian.tar.xz 2020-12-31 19:18   23K  
 jedit_5.5.0+dfsg-1_all.deb       2018-04-22 19:55  2.2M  
 jedit_5.5.0+dfsg-1.dsc           2018-04-22 19:55  2.2K  
 jedit_5.5.0+dfsg-1.debian.tar.xz 2018-04-22 19:55   22K