Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
revert-switch-to-jprante-s-jflex-plugin.patch | revert-switch-to-jprante-s-jflex-plugin I couldn't get it to work with the new version of gradle-jflex-plugin. Whoever wants to give it a try, I have pushed my work to the experimental branch (gradle-jflex-plugin). Gradle just couldn't find the new plugin. |
Markus Koschany <apo@debian.org> | not-needed | 2017-06-17 | ||
remove-troublesome-jgit-tricks.patch | remove-troublesome-jgit-tricks This build process uses jgit to add the git commit ID to the version name used in the filename of the release jars. That gets in the way of Debian packaging. |
Hans-Christoph Steiner <hans@eds.org> | not-needed | 2019-08-12 | ||
add-jar-manifests.patch | no | |||||
revert-to-old-build.gradle.patch | no | |||||
backport-java8-compat.patch | no | |||||
set-version.patch | no | |||||
build.patch | build Always build Java 8 class files. |
Markus Koschany <apo@debian.org> | not-needed | 2016-07-27 |