Changelog for ghc-lens-4.17.1-1.fc31.x86_64.rpm :

* Thu Jul 25 2019 Jens Petersen - 4.17.1-1- update to 4.17.1
* Thu Jul 25 2019 Fedora Release Engineering - 4.17-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 17 2019 Jens Petersen - 4.17-3- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering - 4.17-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sun Jul 22 2018 Jens Petersen - 4.17-1- update to 4.17
* Fri Jul 13 2018 Fedora Release Engineering - 4.16.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Jul 09 2018 Elliott Sales de Andrade - 4.16.1-1- update to 4.16.1
* Wed Feb 07 2018 Fedora Release Engineering - 4.15.4-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Jan 26 2018 Jens Petersen - 4.15.4-4- rebuild
* Mon Oct 23 2017 Elliott Sales de Andrade 4.15.4-3- Bump for kan-extensions build.
* Sun Oct 01 2017 Elliott Sales de Andrade 4.15.4-2- Split apart documentation.
* Sat Sep 30 2017 Elliott Sales de Andrade 4.15.4-1- Update to latest spec template.- Update to latest version.- Shorten description.