[ghc-Agda] allow building with mtl-2.1

[Jens Petersen]

commit 76b37acc9302211fe97710c842864fbf3b44eeec
Author: Jens Petersen <petersen at redhat.com>
Date:   Mon Jun 11 12:17:10 2012 +0900

    allow building with mtl-2.1

 ghc-Agda.spec |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index 4052fbe..6bf2fe0 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -22,7 +22,7 @@ proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
 
 Name:           ghc-%{pkg_name}
 Version:        2.3.0.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Dependently typed functional programming language
 
 Group:          Development/Languages
@@ -49,6 +49,7 @@ BuildRequires:  ghc-xhtml-prof
 BuildRequires:  ghc-zlib-prof
 BuildRequires:  happy, alex
 BuildRequires:  emacs-haskell-mode
+Patch1:         Agda-2.3.0.1-mtl-2.1.patch
 
 %description
 %{common_description}
@@ -86,6 +87,7 @@ This provides the Emacs Lisp source files for the Agda interactive mode.
 
 %prep
 %setup -q -n %{pkg_name}-%{version}
+%patch1 -p1 -b .orig
 
 
 %build
@@ -145,6 +147,9 @@ echo %{_datadir}/%{pkg_name}-%{version}/Agda.css >> ghc-%{pkg_name}.files
 
 
 %changelog
+* Mon Jun 11 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-3
+- allow building with mtl-2.1
+
 * Thu May 31 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-2
 - library license is also BSD (#710031)
 - move release notes to devel subpackage