Index of /ubuntu/pool/universe/j/jflex

	Name	Last modified	Size
	Parent Directory		-
	jflex_1.4.3+dfsg-1.debian.tar.xz	13-Feb-2016 00:14	36K
	jflex_1.4.3+dfsg-1.dsc	13-Feb-2016 00:14	2.0K
	jflex_1.4.3+dfsg-1_all.deb	13-Feb-2016 00:29	1.0M
	jflex_1.4.3+dfsg.orig.tar.xz	13-Feb-2016 00:14	947K
	jflex_1.6.1-3.debian.tar.xz	14-Feb-2018 06:38	6.0K
	jflex_1.6.1-3.dsc	14-Feb-2018 06:38	2.0K
	jflex_1.6.1-3_all.deb	14-Feb-2018 06:39	1.3M
	jflex_1.6.1.orig.tar.xz	28-Jul-2016 01:44	608K
	jflex_1.7.0-1.debian.tar.xz	10-Oct-2018 17:58	6.5K
	jflex_1.7.0-1.dsc	10-Oct-2018 17:58	2.1K
	jflex_1.7.0-1_all.deb	10-Oct-2018 18:03	1.6M
	jflex_1.7.0-2.debian.tar.xz	02-Jan-2021 06:31	6.5K
	jflex_1.7.0-2.dsc	02-Jan-2021 06:31	2.1K
	jflex_1.7.0-2_all.deb	02-Jan-2021 07:13	1.6M
	jflex_1.7.0-3.debian.tar.xz	02-May-2023 03:28	6.6K
	jflex_1.7.0-3.dsc	02-May-2023 03:28	2.1K
	jflex_1.7.0-3build1.debian.tar.xz	15-Dec-2025 23:55	6.7K
	jflex_1.7.0-3build1.dsc	15-Dec-2025 23:55	1.9K
	jflex_1.7.0-3build1_all.deb	15-Dec-2025 23:56	1.7M
	jflex_1.7.0-3_all.deb	02-May-2023 03:52	1.6M
	jflex_1.7.0.orig.tar.xz	10-Oct-2018 17:58	773K