| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: checker-qual | Distribution: SUSE Linux 16 |
| Version: 3.22.0 | Vendor: SUSE LLC <https://www.suse.com/> |
| Release: 160000.2.2 | Build date: Wed Oct 2 17:38:08 2024 |
| Group: Development/Libraries/Java | Build host: reproducible |
| Size: 218113 | Source RPM: checker-qual-3.22.0-160000.2.2.src.rpm |
| Packager: https://www.suse.com/ | |
| Url: https://github.com/typetools/checker-framework | |
| Summary: Checker Qual | |
Checker Qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
MIT
* Wed Oct 02 2024 fstrba@suse.com
- Spec file cleanup
* Tue May 17 2022 fstrba@suse.com
- Initial packaging of checkerframework's checker-qual annotations
3.22.0
/usr/share/java/checker-qual.jar /usr/share/licenses/checker-qual /usr/share/licenses/checker-qual/LICENSE.txt /usr/share/maven-metadata/checker-qual.xml /usr/share/maven-poms/checker-qual.pom
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Sep 30 22:36:46 2025