| Name : checker-qual
| |
| Version : 3.22.0
| Vendor : openSUSE
|
| Release : 1.2
| Date : 2023-09-06 10:41:35
|
| Group : Development/Libraries/Java
| Source RPM : checker-qual-3.22.0-1.2.src.rpm
|
| Size : 0.21 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Checker Qual
|
Description :
Checker Qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Factory:/RISCV:/ToTest/images/repo/openSUSE-20240817-riscv64-Media1/noarch |
