Changelog for Agda-2.5.4.2-17.fc30.i686.rpm :

* Thu Feb 21 2019 Jens Petersen - 2.5.4.2-17- update to 2.5.4.2
* Sun Feb 17 2019 Jens Petersen - 2.5.3-16- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering - 2.5.3-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Thu Jul 19 2018 Jens Petersen - 2.5.3-14- update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6- revise .cabal file
* Thu Jul 12 2018 Fedora Release Engineering - 2.5.3-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering - 2.5.3-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Tue Jan 02 2018 Jens Petersen - 2.5.3-11- update to 2.5.3- add uri-encode subpackage
* Tue Dec 26 2017 Jens Petersen - 2.5.2-10- ieee754 is now a separate package
* Wed Nov 15 2017 Jens Petersen - 2.5.2-9- gitrev is now packaged in Fedora
* Fri Nov 10 2017 Jens Petersen - 2.5.2-8- geniplate-mirror-0.7.5- gitrev-1.3.1 (#1511680)
* Wed Aug 02 2017 Fedora Release Engineering - 2.5.2-7.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 2.5.2-6.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sun Mar 12 2017 Jens Petersen - 2.5.2-5- compile .agda files at buildtime
* Fri Mar 10 2017 Jens Petersen - 2.5.2-4- update to 2.5.2- subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash