| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| build.patch | fixing build paths and classpath in build.xml for a Debian build | Pierre Gruet <pgt@debian.org> | not-needed | 2022-01-16 | ||
| fix_classpath.patch | setting paths of Debian jars used during the build | Pierre Gruet <pgt@debian.org> | not-needed | 2022-01-15 | ||
| no_module_info.patch | omitting module-path related stuff for the build | Pierre Gruet <pgt@debian.org> | not-needed | 2022-01-15 |