There are currently no open bugs.

"checker-framework-java" versions published in Ubuntu

Lunar (3.0.1+ds2-4): universe/misc
Kinetic (3.0.1+ds2-3): universe/misc
Jammy (3.0.1+ds2-3): universe/misc