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

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