checker-qual
Checker Qual
Checker Qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
There is no official package available for openSUSE Leap 16.0Distributions
openSUSE Tumbleweed
openSUSE Slowroll
openSUSE Leap 15.6
openSUSE Factory RISCV
SLFO 1.2
openSUSE Backports for SLE 15 SP4
SUSE SLE-16 (in development)
SUSE SLE-15-SP2
Unsupported distributions
The following distributions are not officially supported. Use these packages at your own risk.