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 Framework One |
Version: 3.22.0 | Vendor: SUSE LLC <https://www.suse.com/> |
Release: slfo.1.1.6 | Build date: Tue May 17 13:36:37 2022 |
Group: Development/Libraries/Java | Build host: reproducible |
Size: 219959 | Source RPM: checker-qual-3.22.0-slfo.1.1.6.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
* 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, Wed Jan 29 23:28:34 2025