Changelog for ghc-microlens-th-0.4.2.3-3.fc31.x86_64.rpm :

* Fri Aug 02 2019 Jens Petersen - 0.4.2.3-3- add doc and prof subpackages (cabal-rpm-1.0.0)
* Thu Jul 25 2019 Fedora Release Engineering - 0.4.2.3-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Feb 21 2019 Jens Petersen - 0.4.2.3-1- update to 0.4.2.3
* Sun Feb 17 2019 Jens Petersen - 0.4.1.3-4- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering - 0.4.1.3-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering - 0.4.1.3-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Apr 06 2018 Elliott Sales de Andrade - 0.4.1.3-1- update to 0.4.1.3
* Wed Feb 07 2018 Fedora Release Engineering - 0.4.1.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Jan 26 2018 Jens Petersen - 0.4.1.1-2- rebuild