Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: checker-qual | Distribution: openSUSE:Factory:zSystems |
Version: 3.22.0 | Vendor: openSUSE |
Release: 2.2 | Build date: Wed Oct 2 17:38:08 2024 |
Group: Development/Libraries/Java | Build host: reproducible |
Size: 218114 | Source RPM: checker-qual-3.22.0-2.2.src.rpm |
Packager: https://bugs.opensuse.org | |
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 Fridrich Strba <[email protected]> - Spec file cleanup * Tue May 17 2022 Fridrich Strba <[email protected]> - 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 8 00:14:20 2025