../ jflex_1.3.5-7.diff.gz 13-Oct-2003 23:47 2252 jflex_1.3.5-7.dsc 13-Oct-2003 23:47 598 jflex_1.3.5-7_all.deb 30-Apr-2005 23:33 683164 jflex_1.3.5.orig.tar.gz 30-Apr-2005 23:33 656304