File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
jflex_1.7.0-2.debian.tar.xz	6.5 KiB	2021-01-01 19:26
jflex_1.7.0-2.dsc	2.1 KiB	2021-01-01 19:26
jflex_1.7.0-2_all.deb	1.6 MiB	2021-01-01 19:56
jflex_1.7.0-3.debian.tar.xz	6.6 KiB	2023-02-27 18:17
jflex_1.7.0-3.dsc	2.1 KiB	2023-02-27 18:17
jflex_1.7.0-3_all.deb	1.6 MiB	2023-02-27 18:33
jflex_1.7.0.orig.tar.xz	772.9 KiB	2018-10-01 17:27
jflex_1.8.2-1.debian.tar.xz	27.9 KiB	2020-10-26 18:23
jflex_1.8.2-1.dsc	2.1 KiB	2020-10-26 18:23
jflex_1.8.2-1_all.deb	2.0 MiB	2020-10-26 18:49
jflex_1.8.2.orig.tar.xz	840.4 KiB	2020-10-26 18:23