[ol7_developer_EPEL] ghc-Agda-2.3.2.2-5.el7.x86_64

Name:	ghc-Agda
Version:	2.3.2.2
Release:	5.el7
Architecture:	x86_64
Group:	Unspecified
Size:	22508497
License:	MIT and BSD
RPM:	ghc-Agda-2.3.2.2-5.el7.x86_64.rpm
Source RPM:	Agda-2.3.2.2-5.el7.src.rpm
Build Date:	Thu Dec 07 2017
Build Host:	x86-ol6-builder-01.us.oracle.com
Vendor:	Oracle America
URL:	http://hackage.haskell.org/package/Agda
Summary:	Haskell Agda library
Description:	This package provides the Haskell Agda shared library.

Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
```
Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
```
Tue Apr 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-3
```
- no _pkgdocdir in EL7
```
Wed Jan 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-2
```
- exclude secondary arch's without template-haskell (#1038068)
```
Thu Oct 31 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.2-1
```
- update to 2.3.2.2
```
Mon Sep 02 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
```
- drop defattr's
```

Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4

- emacs agda-mode no longer depends on haskell-mode since 2.3.2

Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com>
```
- replace ghc_docdir by _pkgdocdir
```
Fri Aug 02 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.1-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
```