(BIN) jflex_1.7.0-2.debian.tar.xz
 (TXT) jflex_1.7.0-2.dsc
 (BIN) jflex_1.7.0-2_all.deb
 (BIN) jflex_1.7.0-3.debian.tar.xz
 (TXT) jflex_1.7.0-3.dsc
 (BIN) jflex_1.7.0-3_all.deb
 (BIN) jflex_1.7.0.orig.tar.xz
 (BIN) jflex_1.8.2-1.debian.tar.xz
 (TXT) jflex_1.8.2-1.dsc
 (BIN) jflex_1.8.2-1_all.deb
 (BIN) jflex_1.8.2.orig.tar.xz