Changelog for ghc-lens-devel-4.17-3.13.x86_64.rpm :

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