Dependencies
Provides
- prover9-doc = 200911a-1.fc14
- prover9-doc(x86-32) = 200911a-1.fc14
Requires
- prover9 = 200911a-1.fc14
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1