Changelog for ghc-HTTP-4000.3.12-3.fc30.x86_64.rpm :

* Sun Feb 17 2019 Jens Petersen - 4000.3.12-3- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering - 4000.3.12-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sun Jul 22 2018 Jens Petersen - 4000.3.12-1- update to 4000.3.12
* Fri Jul 13 2018 Fedora Release Engineering - 4000.3.9-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering - 4000.3.9-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Jan 24 2018 Jens Petersen - 4000.3.9-1- update to 4000.3.9
* Wed Aug 02 2017 Fedora Release Engineering - 4000.3.5-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 4000.3.5-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild