Name				Size	Modified
----				----	--------
jflex_1.7.0-3.debian.tar.xz	6.6 KiB	September 9, 2024 at 16:39:41
jflex_1.7.0-3.dsc		2.1 KiB	September 9, 2024 at 16:39:41
jflex_1.7.0-3_all.deb		1.1 MiB	September 9, 2024 at 16:39:41
jflex_1.7.0.orig.tar.xz		773 KiB	September 9, 2024 at 16:39:41