Generated packages:
- minisat2-2.2.0-5.fc17.i686
- minisat2-devel-2.2.0-5.fc17.i686
- minisat2-libs-2.2.0-5.fc17.i686
- minisat2-2.2.0-5.fc17.x86_64
- minisat2-devel-2.2.0-5.fc17.x86_64
- minisat2-libs-2.2.0-5.fc17.x86_64
Other version of this rpm:
Generated packages:
Other version of this rpm: