Dependencies
Provides
- mvn(org.ow2.sat4j:org.ow2.sat4j.core) = 2.3.5
- mvn(org.ow2.sat4j:org.ow2.sat4j.pb) = 2.3.5
- osgi(org.sat4j.core) = 2.3.5
- osgi(org.sat4j.pb) = 2.3.5
- sat4j = 2.3.5-14.mga8
Requires
- java-headless
- javapackages-filesystem
- osgi(org.sat4j.core) = 2.3.5
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1