Agda-2.3.2.2-5.el7 - Fedora Packages

Date	Author	Change
2014-08-15	Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.2-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-06	Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.2-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2014-04-22	Jens Petersen <petersen at redhat dot com> - 2.3.2.2-3	- no _pkgdocdir in EL7
2014-01-22	Jens Petersen <petersen at redhat dot com> - 2.3.2.2-2	- exclude secondary arch's without template-haskell (#1038068)
2013-10-31	Jens Petersen <petersen at redhat dot com> - 2.3.2.2-1	- update to 2.3.2.2
2013-09-02	Jens Petersen <petersen at redhat dot com> - 2.3.2.1-5	- drop defattr's
2013-08-29	Jens Petersen <petersen at redhat dot com> - 2.3.2.1-4	- emacs agda-mode no longer depends on haskell-mode since 2.3.2
2013-08-29	Jens Petersen <petersen at redhat dot com> - 2.3.2.1-3	- compile agda2-queue.el - check for new elisp files - exclude armv7hl since TemplateHaskell failing to compile (#991929)
2013-08-27	Jens Petersen <petersen at redhat dot com>	- replace ghc_docdir by _pkgdocdir
2013-08-02	Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Agda-2.3.2.2-5.el7 in EPEL 7