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

Filename	Modification time	Size
jflex_1.4.3+dfsg-1.debian.tar.xz	2016-04-08 02:49 CEST	54 B
jflex_1.4.3+dfsg-1.dsc	2016-04-08 02:49 CEST	44 B
jflex_1.4.3+dfsg-1_all.deb	2016-04-08 02:50 CEST	48 B
jflex_1.4.3+dfsg.orig.tar.xz	2016-04-08 02:49 CEST	50 B
jflex_1.6.1-3.debian.tar.xz	2018-02-14 06:38 CET	6160 B
jflex_1.6.1-3.dsc	2018-02-14 06:38 CET	2089 B
jflex_1.6.1-3_all.deb	2018-02-14 06:39 CET	1303 KiB
jflex_1.6.1.orig.tar.xz	2016-07-28 01:44 CEST	608 KiB
jflex_1.7.0-1.debian.tar.xz	2018-10-10 17:58 CEST	6700 B
jflex_1.7.0-1.dsc	2018-10-10 17:58 CEST	2123 B
jflex_1.7.0-1_all.deb	2018-10-10 18:03 CEST	1658 KiB
jflex_1.7.0-2.debian.tar.xz	2021-01-02 06:31 CET	6668 B
jflex_1.7.0-2.dsc	2021-01-02 06:31 CET	2114 B
jflex_1.7.0-2_all.deb	2021-01-02 07:13 CET	1652 KiB
jflex_1.7.0-3.debian.tar.xz	2023-05-02 03:28 CEST	6780 B
jflex_1.7.0-3.dsc	2023-05-02 03:28 CEST	2114 B
jflex_1.7.0-3_all.deb	2023-05-02 03:52 CEST	1689 KiB
jflex_1.7.0.orig.tar.xz	2018-10-10 17:58 CEST	773 KiB