Index of /ubuntu/pool/universe/j/jflex

      Name                     Last modified      Size  Description
      Parent Directory                              -   
      jflex_1.4.1-3.diff.gz    16-Jun-2006 03:00  3.7K  
      jflex_1.4.1-3.dsc        16-Jun-2006 03:00  712   
      jflex_1.4.1-3_all.deb    10-Oct-2006 06:08  822K  
      jflex_1.4.1.orig.tar.gz  25-Oct-2005 11:56  803K