Changelog for ghc-microlens-platform-devel-0.3.11-1.4.x86_64.rpm :

* Wed Dec 26 2018 psimonsAATTsuse.com- Add microlens-platform at version 0.3.11.