jflex_1.7.0-3.debian.tar.xz
jflex_1.7.0-3.dsc
jflex_1.7.0-3_all.deb
jflex_1.7.0.orig.tar.xz