| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| build.patch | build Adjust the build system for Debian. |
Markus Koschany <apo@debian.org> | not-needed | 2018-09-30 | ||
| jflex-executable.patch | jflex executable Fix path to jflex.jar. |
Markus Koschany <apo@debian.org> | not-needed | 2018-09-30 | ||
| encoding.patch | encoding debian/ant.properties does not work. FIXME! |
Markus Koschany <apo@debian.org> | no | 2018-10-01 | ||
| inputstreamctor.patch | inputstreamctor Upstream uses the older 1.6.1 version to bootstrap jflex. Since inputstreamctor was removed in version 1.7.0 we have to make this adjustment. |
Markus Koschany <apo@debian.org> | not-needed | 2018-10-01 |