| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| build.patch | build Adjust build.gradle for Debian. |
Markus Koschany <apo@debian.org> | not-needed | 2016-07-27 | ||
| gradle-2.12.patch | gradle 2.12 | Markus Koschany <apo@debian.org> | not-needed | https://github.com/thomaslee/gradle-jflex-plugin/commit/1bbdf2d6dbf702944d11e24a859e0fe4f957032f | 2016-05-26 | |
| jflex-cup_runtime.patch | jflex cup_runtime | Markus Koschany <apo@debian.org> | no | 2018-10-01 |