Index of /pool/universe/j/jedit

Name                    Last modified      Size  Description
Parent Directory                             -   
jedit_5.1.0+dfsg-1.d..> 2013-10-21 16:37   22K  
jedit_5.1.0+dfsg-1.dsc  2013-10-21 16:37  2.2K  
jedit_5.1.0+dfsg-1_a..> 2013-10-22 07:53  2.1M  
jedit_5.1.0+dfsg.ori..> 2013-10-21 16:37  1.8M  
jedit_5.3.0+dfsg-1.d..> 2016-01-04 13:19   22K  
jedit_5.3.0+dfsg-1.dsc  2016-01-04 13:19  2.2K  
jedit_5.3.0+dfsg-1_a..> 2016-01-04 13:56  2.2M  
jedit_5.3.0+dfsg.ori..> 2016-01-04 13:19  2.0M  
jedit_5.5.0+dfsg-1.d..> 2018-04-23 14:15   22K  
jedit_5.5.0+dfsg-1.dsc  2018-04-23 14:15  2.2K  
jedit_5.5.0+dfsg-1_a..> 2018-04-23 14:16  2.2M  
jedit_5.5.0+dfsg-2.d..> 2021-01-01 01:19   23K  
jedit_5.5.0+dfsg-2.dsc  2021-01-01 01:19  2.2K  
jedit_5.5.0+dfsg-2_a..> 2021-01-01 01:35  2.2M  
jedit_5.5.0+dfsg.ori..> 2018-04-23 14:15  2.1M