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

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      jedit_5.1.0+dfsg-1.debian.tar.xz              2013-10-21 09:37   22K  
      jedit_5.1.0+dfsg-1.dsc                        2013-10-21 09:37  2.2K  
      jedit_5.1.0+dfsg-1_all.deb                    2013-10-22 00:53  2.1M  
      jedit_5.1.0+dfsg.orig.tar.xz                  2013-10-21 09:37  1.8M  
      jedit_5.3.0+dfsg-1.debian.tar.xz              2016-01-04 06:19   22K  
      jedit_5.3.0+dfsg-1.dsc                        2016-01-04 06:19  2.2K  
      jedit_5.3.0+dfsg-1_all.deb                    2016-01-04 06:56  2.2M  
      jedit_5.3.0+dfsg.orig.tar.xz                  2016-01-04 06:19  2.0M  
      jedit_5.5.0+dfsg-1.debian.tar.xz              2018-04-23 07:15   22K  
      jedit_5.5.0+dfsg-1.dsc                        2018-04-23 07:15  2.2K  
      jedit_5.5.0+dfsg-1_all.deb                    2018-04-23 07:16  2.2M  
      jedit_5.5.0+dfsg-2.debian.tar.xz              2020-12-31 18:19   23K  
      jedit_5.5.0+dfsg-2.dsc                        2020-12-31 18:19  2.2K  
      jedit_5.5.0+dfsg-2_all.deb                    2020-12-31 18:35  2.2M  
      jedit_5.5.0+dfsg.orig.tar.xz                  2018-04-23 07:15  2.1M