Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-java/
checker-framework-qual

Annotations for type-checking by the Checker Framework

https://checkerframework.org/

Pull Requests

  • dev-java/truth: new package, add 1.4.4 and dependencies new packageassignedbug linked
    14
    #41543 opened 2025-04-11T20:34:43Z by vaukai
  • dev-java/jimfs: add 1.3.1 and dependency updates new packageassignedno bug found
    2
    #43243 opened 2025-07-30T06:06:24Z by vaukai

If you also like to help the Gentoo project, you can consider sending a Pull Request via GitHub.
Before doing so, you might want to take a look at the wiki page.