| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| build.patch | build Avoid build-depending on Git. |
Markus Koschany <apo@debian.org> | not-needed | 2018-09-30 | ||
| jflex-1.6.1.patch | jflex 1.6.1 Fixes the compatibility with the version of JFlex in Debian |
Markus Koschany <apo@debian.org> | no | 2018-10-01 | ||
| manifest.patch | manifest Fix compatibility with Debian's cup version and use 0.11b version. |
Markus Koschany <apo@debian.org> | no | 2018-10-01 |