Debian Patches

Status for checker-framework-java/3.2.0+ds-3

Patch Description Author Forwarded Bugs Origin Last update
fix-gradle-build.patch Allow Gradle to correctly build this package Olek Wojnar <> not-needed 2020-07-04
remove-doc-image-links.patch Use local source for auto-fetched images Olek Wojnar <> yes 2020-07-15
deprecated-getexpression.patch Build correctly since caseTree.getExpression() is deprecated Hack to use the newer getExpressions() to prevent a Warning that becomes an
Error thanks to -Werror. This file was removed in upstream 3.7.1 and therefore
this patch should no longer be needed once that version or higher is in Debian.
Olek Wojnar <> not-needed 2023-06-20
fix-javac-21-warnings.patch address compiler warnings with Java 21 Pushkar Kulkarni <> no debian

All known versions for source package 'checker-framework-java'