Changelog for ghc-lens-4.17-2.7.x86_64.rpm :

* Thu Aug 02 2018 psimonsAATTsuse.com- Add lens at version 4.17.