summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/agda/agda-2.3.0.1.ebuild')
-rw-r--r--sci-mathematics/agda/agda-2.3.0.1.ebuild6
1 files changed, 4 insertions, 2 deletions
diff --git a/sci-mathematics/agda/agda-2.3.0.1.ebuild b/sci-mathematics/agda/agda-2.3.0.1.ebuild
index 4eb0f589a344..513a1e06c219 100644
--- a/sci-mathematics/agda/agda-2.3.0.1.ebuild
+++ b/sci-mathematics/agda/agda-2.3.0.1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.2 2012/04/01 02:18:07 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.3 2012/04/13 10:56:39 gienah Exp $
# ebuild generated by hackport 0.2.14
@@ -27,7 +27,8 @@ RDEPEND="<dev-haskell/binary-0.6[profile?]
=dev-haskell/hashtables-1.0*[profile?]
>=dev-haskell/haskeline-0.6.3.2[profile?]
>=dev-haskell/haskell-src-exts-1.9.6[profile?]
- =dev-haskell/mtl-2.0*[profile?]
+ >=dev-haskell/mtl-2.0[profile?]
+ <dev-haskell/mtl-2.2[profile?]
=dev-haskell/quickcheck-2.4*[profile?]
=dev-haskell/xhtml-3000.2*[profile?]
<dev-haskell/zlib-0.6[profile?]
@@ -44,6 +45,7 @@ S="${WORKDIR}/${MY_P}"
src_prepare() {
epatch "${FILESDIR}"/${P}-emacs.patch
epatch "${FILESDIR}"/${PN}-2.3.0.1-haskell-src-exts-1.13.patch
+ epatch "${FILESDIR}"/${PN}-2.3.0.1-mtl-2.1.patch
cabal-mksetup
}