checker-qual
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| spark-overlay GitHub ↗ | 2.11.1-r1 | 1 | 21 mo | details › |