Changelog for ghc-Agda-2.5.3-12.fc28.x86_64.rpm :

* 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
* Fri Feb 10 2017 Fedora Release Engineering - 2.4.2.5-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Feb 09 2017 Jens Petersen - 2.4.2.5-2- build subpackage inside main package
* Thu Oct 06 2016 Jens Petersen - 2.4.2.5-1- update to 2.4.2.5- subpackage new dep geniplate-mirror
* Wed Feb 03 2016 Fedora Release Engineering - 2.4.2.2-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jul 22 2015 Jens Petersen - 2.4.2.2-5- drop emacs subpackages (#1234569)
* Tue Jun 16 2015 Fedora Release Engineering - 2.4.2.2-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Fri Apr 17 2015 Jens Petersen - 2.4.2.2-3- move agda from ghc-Agda-devel to ghc-Agda
* Thu Apr 16 2015 Jens Petersen - 2.4.2.2-2- compile Primitive.agda at install time
* Fri Apr 03 2015 Jens Petersen - 2.4.2.2-1- update to 2.4.2.2
* Fri Feb 06 2015 Jens Petersen - 2.4.2-1- update to 2.4.2- needs new deps: STMonadTrans, boxes, data-hash, equivalence, and QuickCheck 2.7.5+- cblrpm refresh
* Fri Aug 15 2014 Fedora Release Engineering - 2.3.2.2-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Jun 06 2014 Fedora Release Engineering - 2.3.2.2-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Apr 22 2014 Jens Petersen - 2.3.2.2-3- no _pkgdocdir in EL7
* Wed Jan 22 2014 Jens Petersen - 2.3.2.2-2- exclude secondary arch\'s without template-haskell (#1038068)
* Thu Oct 31 2013 Jens Petersen - 2.3.2.2-1- update to 2.3.2.2
* Mon Sep 02 2013 Jens Petersen - 2.3.2.1-5- drop defattr\'s
* Thu Aug 29 2013 Jens Petersen - 2.3.2.1-4- emacs agda-mode no longer depends on haskell-mode since 2.3.2
* Thu Aug 29 2013 Jens Petersen - 2.3.2.1-3- compile agda2-queue.el- check for new elisp files- exclude armv7hl since TemplateHaskell failing to compile (#991929)
* Tue Aug 27 2013 Jens Petersen - replace ghc_docdir by _pkgdocdir
* Fri Aug 02 2013 Fedora Release Engineering - 2.3.2.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jul 26 2013 Jens Petersen - use ghc_docdir
* Tue Jun 11 2013 Jens Petersen - 2.3.2.1-1- rename src package from ghc-Agda to Agda- update to 2.3.2.1 http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2 http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1- update to new simplified Haskell Packaging Guidelines- agda command-line tool in devel subpackage
* Fri Jun 07 2013 Jens Petersen - update to new simplified Haskell Packaging Guidelines
* Mon Mar 25 2013 Jens Petersen - 2.3.0.1-12- rebuild
* Tue Mar 19 2013 Jens Petersen - 2.3.0.1-11- allow haskeline-0.7
* Wed Feb 13 2013 Fedora Release Engineering - 2.3.0.1-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Wed Dec 12 2012 Jens Petersen - 2.3.0.1-9- update QuickCheck-2.5 patch following upstream 2.3.2- for epel6 redefine newer _emacs_bytecompile- own datadir correctly
* Fri Nov 09 2012 Jens Petersen - 2.3.0.1-8- build with QuickCheck 2.5
* Thu Jul 19 2012 Fedora Release Engineering - 2.3.0.1-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jul 16 2012 Jens Petersen - 2.3.0.1-6- change prof BRs to devel
* Wed Jul 11 2012 Jens Petersen - 2.3.0.1-5- fix agda2-version in agda2-mode.el
* Thu Jun 21 2012 Jens Petersen - 2.3.0.1-4- upstream patch for building with haskell-src-exts-1.13- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
* Mon Jun 11 2012 Jens Petersen - 2.3.0.1-3- allow building with mtl-2.1
* Thu May 31 2012 Jens Petersen - 2.3.0.1-2- library license is also BSD (#710031)- move release notes to devel subpackage
* Tue Apr 10 2012 Jens Petersen - 2.3.0.1-1- update to 2.3.0.1 for ghc-7.4.1
* Tue Feb 14 2012 Jens Petersen - 2.3.0-1- update to 2.3.0- update to cabal2spec-0.25- new depends on hashtables
* Fri Jun 03 2011 Jens Petersen - 2.2.10-2- also BR alex, happy, and emacs-haskell-mode
* Thu Jun 02 2011 Jens Petersen - 2.2.10-1- MIT license- add deps and description- emacs mode subpackages
* Thu Jun 02 2011 Fedora Haskell SIG - 2.2.10-0- initial packaging for Fedora automatically generated by cabal2spec-0.23