Index of /by-release/debian/j/jflex
Name
Last modified
Size
Description
Parent Directory
-
patches.xml
2020-10-27 03:43
2.6K
jflex_1.7.0-3.patch.bz2
2023-02-28 03:11
949
jflex_1.7.0-3.patch-basis
2023-02-28 03:11
8
jflex_1.7.0-2.patch.bz2
2021-01-02 03:18
1.0K
jflex_1.7.0-2.patch-basis
2021-01-02 03:18
8
jflex_1.7.0-1.patch.bz2
2018-10-02 04:45
1.7M
jflex_1.7.0-1.patch-basis
2018-10-02 04:45
8
jflex_1.6.1-3.patch.bz2
2018-02-14 03:53
1.7K
jflex_1.6.1-3.patch-basis
2018-02-14 03:53
8
jflex_1.6.1-2.patch.bz2
2016-07-28 11:08
8.1K
jflex_1.6.1-2.patch-basis
2016-07-28 11:08
8
jflex_1.6.1-1.patch.bz2
2016-07-27 17:08
897K
jflex_1.6.1-1.patch-basis
2016-07-27 17:08
13
jflex_1.4.3-2.patch.bz2
2011-08-11 11:36
4.0K
jflex_1.4.3-2.patch-basis
2011-08-11 11:36
8
jflex_1.4.3-1.patch.bz2
2009-07-27 06:24
2.0M
jflex_1.4.3-1.patch-basis
2009-07-27 06:24
8
jflex_1.4.3+dfsg-2.patch.bz2
2016-05-03 17:27
11K
jflex_1.4.3+dfsg-2.patch-basis
2016-05-03 17:27
13
jflex_1.4.3+dfsg-1.patch.bz2
2016-02-12 22:48
3.1K
jflex_1.4.3+dfsg-1.patch-basis
2016-02-12 22:48
8
jflex_1.4.2-2.slipped-patch.bz2
2009-03-07 22:31
916
jflex_1.4.2-2.slipped-patch-basis
2009-03-07 22:31
8
jflex_1.4.2-2.patch-basis
2009-03-07 22:31
8
jflex_1.4.2-1.patch-basis
2009-01-09 16:25
8
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443