Generated packages:
- prover9-200911a-1.fc14.i686
- prover9-apps-200911a-1.fc14.i686
- prover9-devel-200911a-1.fc14.i686
- prover9-doc-200911a-1.fc14.i686
- prover9-200911a-1.fc14.x86_64
- prover9-apps-200911a-1.fc14.x86_64
- prover9-devel-200911a-1.fc14.x86_64
- prover9-doc-200911a-1.fc14.x86_64
Other version of this rpm: