Changelog for ghc-minisat-solver-devel-0.1-lp150.1.1.x86_64.rpm :

* Mon Jul 09 2018 psimonsAATTsuse.com- Add minisat-solver at version 0.1.