SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

checker-qual rpm build for : OpenSuSE. For other distributions click checker-qual.

Name : checker-qual
Version : 3.22.0 Vendor : openSUSE
Release : 1.10 Date : 2022-05-17 13:36:37
Group : Development/Libraries/Java Source RPM : checker-qual-3.22.0-1.10.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:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-1.10.noarch.rpm
     

Provides :
checker-qual
mvn(org.checkerframework:checker-qual)
mvn(org.checkerframework:checker-qual:pom:)
osgi(checker-qual)

Requires :
java-headless
javapackages-filesystem
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/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

 
ICM