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

This package provides the Haskell Agda library development files.

Changelog (Show File list) (Show related packages)

• 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