Debian Patches
Status for checker-framework-java/3.2.0+ds-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix-gradle-build.patch | Allow Gradle to correctly build this package | Olek Wojnar <olek@debian.org> | not-needed | 2020-07-04 | ||
| remove-doc-image-links.patch | Use local source for auto-fetched images | Olek Wojnar <olek@debian.org> | yes | 2020-07-15 |
All known versions for source package 'checker-framework-java'
- 3.2.0+ds-3 (sid, forky, trixie)
- 3.2.0+ds-1 (bookworm)