Dependencies
Provides
- osgi(org.sat4j.core) = 2.3.5
- osgi(org.sat4j.pb) = 2.3.5
- sat4j = 2.3.5-5.mga5
Requires
- java >= 1:1.6
- jpackage-utils
- osgi(org.sat4j.core)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1