Debian Patches

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

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 2026-03-22
remove-doc-image-links.patch Use local source for auto-fetched images Olek Wojnar <olek@debian.org> 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 <olek@debian.org> not-needed 2023-06-20
fix-javac-21-warnings.patch address compiler warnings with Java 21 Pushkar Kulkarni <pushkar.kulkarni@canonical.com> not-needed debian
prevent-duplicate-annotations-in-class-files.patch Prevent duplicate annotations in .class files; fixes #3956 Michael Ernst <mernst@cs.washington.edu> no debian backport, https://github.com/typetools/checker-framework/commit/971907223b3a8f51eac519f57f34183e4495e621 2020-12-09
java25-compat.patch Make the Checker Framework compile with/run on JDK 25 Suzanne Millstein <smillst@cs.washington.edu> no debian backport, https://github.com/typetools/checker-framework/commit/9bf0c63c47e7bfcfa80eec5feea1f3b6556df0aa 2025-06-25
improve-attribute-equals.patch Improve attributeEquals (#4026) Michael Ernst <mernst@cs.washington.edu> no debian upstream, https://github.com/typetools/checker-framework/commit/66ba31a59cd369db0bd70fc000948281ab0fb334 2020-12-16
rename-gradle-archiveName.patch Rename 'archiveFileName' to 'archiveName' for Gradle 4 Olek Wojnar <olek@debian.org> not-needed 2026-03-22

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

Links