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 : SUSE LLC < https://www_suse_com/>
Release : 150200.5.5.4 Date : 2023-02-25 13:07:55
Group : Development/Libraries/Java Source RPM : checker-qual-3.22.0-150200.5.5.4.src.rpm
Size : 0.21 MB
Packager : https://www_suse_com/
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: /vol/rzm3/linux-opensuse/update/leap/15.4/sle/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  checker-qual-3.22.0-150200.5.5.4.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-150200.5.5.4.noarch.rpm
ftp.icm.edu.pl  checker-qual-3.22.0-150200.5.5.4.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(PayloadIsXz) <= 5.2-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