Changelog for ghc-mintty-0.1.2-3.8.x86_64.rpm :

* Tue Jul 10 2018 psimonsAATTsuse.com- Add mintty at version 0.1.2.