Highter version of this package:
- minisat2-2.2.0-6.fc19.x86_64.rpm
- minisat2-2.2.0-6.fc19.i686.rpm
- minisat2-2.2.0-5.fc18.i686.rpm
- minisat2-2.2.0-5.fc18.x86_64.rpm
- minisat2-2.2.0-5.fc17.i686.rpm
- minisat2-2.2.0-5.fc17.x86_64.rpm
- minisat2-2.2.0-1.fc16.x86_64.rpm
- minisat2-2.2.0-1.fc16.i686.rpm
- minisat2-2.2.0-1.fc15.x86_64.rpm
- minisat2-2.2.0-1.fc15.i686.rpm