Dependencies
Provides
- picosat-devel = 913-2.fc13
- picosat-devel(x86-32) = 913-2.fc13
Requires
- libpicosat.so.0
- picosat-libs = 913-2.fc13
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1