| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| verbose-build.patch | Enable verbose build messages | Olek Wojnar <olek@debian.org> | not-needed | 2022-12-20 | ||
| fix-base-pom.patch | Rename base POM to enable Debian build | Olek Wojnar <olek@debian.org> | not-needed | 2022-12-20 | ||
| add-checkerframework-dependency.patch | Declare previously undocumented dependency on Checker Framework | Olek Wojnar <olek@debian.org> | not-needed | 2022-12-21 |