Generated packages:
- prover9-200805a-6.fc12.i686
- prover9-apps-200805a-6.fc12.i686
- prover9-devel-200805a-6.fc12.i686
- prover9-doc-200805a-6.fc12.i686
- prover9-200805a-6.fc12.x86_64
- prover9-apps-200805a-6.fc12.x86_64
- prover9-devel-200805a-6.fc12.x86_64
- prover9-doc-200805a-6.fc12.x86_64
Other version of this rpm: