Package: checker-framework-java

• 3.2.0+ds-3 (main) [sid]
• 3.2.0+ds-1 (main) [bookworm]
• 3.0.1+ds2-3 (main)

Note: packages without a link may have patches in a different format than 3.0 (quilt).